2003 JBMO Problems/Problem 4
Let . Prove that
Since and , we have that and are always positive.
Hence, and must also be positive.
From the inequality , we obtain that and, analogously, . Similarly, and .
Substituting and , we now need to prove .
Since , we have .
So, , as desired.