Example 3 Let be positive numbers, and , prove: for all , we have . (36th IMO Shortlist Problem)
Problem 1552
Official solution
Prove that when , , the proposition holds. Now assume , and let . Clearly, , and we have , which means
From (1), we get , so $x1-x^{n}-x\left(1-x^{n}\right) \\
& =\left(1-x^{n}\right)(1-x)>0
\end{aligned}
This is a contradiction, so $x \geqslant 1$.
Next, $x \geqslant 2-\frac{2}{n+1}$. In fact, if $x\frac{1}{n}\left(2-x+\frac{x-1}{n}\right)$ (this is because when the sum of two numbers is a constant $2-x+\frac{x}{n}$, the smaller the smaller number, the smaller the product), i.e.,
x(2-x)>2-x+\frac{x-1}{n}x^{n}(2-x)>x^{n-1}\left(2-x+\frac{x-1}{n}\right)>\cdots>2-x+\frac{x-1}{n} \cdot n=1
This contradicts (1), which proves that $x \geqslant 2-\frac{2}{n+1}$.
For $y>x \geqslant 2-\frac{2}{n+1}$, we have $\frac{y}{n}>\frac{x}{n} \geqslant 2-x$, so
\frac{x}{n}(2-x)>\frac{y}{n}\left(2-x+\frac{y-x}{n}\right)x^{n}(2-x)>x^{n-1} y\left(2-x+\frac{y-x}{n}\right)>\cdots>y^{n}\left(2-x+\frac{y-x}{n} \cdot n\right)=y^{n}(2-y)
Thus, if $x\left(2-\frac{1}{2 n-1}\right)^{n} \cdot \frac{1}{2^{n-1}}=2\left(1-\frac{1}{2^{n}}\right)^{n}>1
This contradicts (1), so .
This proves the required inequality.