2018 USAMO Problems/Problem 1
Let be positive real numbers such that . Prove that
WLOG let . Add to both sides of the inequality and factor to get:
The last inequality is true by AM-GM. Since all these steps are reversible, the proof is complete.