II. (50 points) Given a positive integer , real numbers , and , prove: .
Solution
When , , and , so .
Assume . Without loss of generality, let (otherwise, use to replace ), and , then (this uses the mean inequality). Below, assume , because $\sum_{1 \leqslant i \leq n}\left(a_{i}-a_{n}\right) \geqslant \sum_{i=1}^{n} a_{i} + (a_{1}-a_{n-1}) - n a_{n}, \sum_{1 \leqslant i \leq n} (n-1) b_{i} + 2 b_{2} \geqslant 2 n b_{n} \\
a_{n} > 2 b_{n}
\end{array}
Also, from $a_{1} a_{2} \cdots a_{n}=1$ we get $a_{n} \leqslant 1$, so $a_{1} - (n-1) a_{n} > n-1 - (n-1) = 0$, combining with (1) we get $2 b_{2} < 2 a_{1}$.
Therefore,
(n-1) \sum_{i=1}^{n} b_{i} > 2(n-1) a_{1} > n a_{1} > \sum_{i=1}^{n} a_{i} .
Note: The coefficient $n-1$ cannot be changed to $n-2$. Take $h$ sufficiently large $(h=n-1), k > h+1$, and let
a_{1}=a_{2}=\cdots=a_{n-1}=h, a_{n}=\frac{1}{h^{n-1}}, b_{1}=k, b_{2}=\cdots=b_{n-1}=1, b_{n}=\frac{1}{k},
then all the given conditions are satisfied, and .