2001 IMO Problems/Problem 2
Problem
Let be positive real numbers. Prove that
Solution
Solution using Holder's
By Holder's inequality,
Thus we need only show that
Which is obviously true since
.
Alternate Solution using Jensen's
By Jensen's,
, so we need to prove
, which is obvious by RMS-AM-GM-HM.