2012 IMO Problems/Problem 2
Problem
Let be positive real numbers that satisfy
. Prove that
Solution
The inequality between arithmetic and geometric mean implies
The inequality is strict unless
. Multiplying analogous inequalities for
yields