The second problem of IMO 2000 is a conditional inequality, that can be proved using very elementary algebraic techniques.