Problem 2
Let be positive real numbers with . Prove that .
Step 3 of 3: Finish with AM–GM
In plain words
The product constraint supplies the final numerical lower bound.
Detailed analysis
By AM–GM, . Combining this with yields , exactly the required inequality.