MathLabs

Problem 1

Determine all sequences of real numbers (a1,a2,…,a1995)(a_1,a_2,\ldots,a_{1995}) satisfying 2an−(n−1)≥an+1−(n−1)2\sqrt{a_n-(n-1)}\ge a_{n+1}-(n-1) for n=1,2,…,1994n=1,2,\ldots,1994, and 2a1995−1994≥a1+12\sqrt{a_{1995}-1994}\ge a_1+1.
Step 2 of 4: Sum the cyclic inequalities
2∑n=11995xn≥∑n=11995(xn+1)2\sum_{n=1}^{1995}\sqrt{x_n}\ge\sum_{n=1}^{1995}(x_n+1)
Detailed analysis

Add the 19941994 inequalities 2xn≥xn+1+12\sqrt{x_n}\ge x_{n+1}+1 and the final inequality 2x1995≥x1+12\sqrt{x_{1995}}\ge x_1+1. The terms x1,…,x1995x_1,\ldots,x_{1995} on the right occur exactly once, together with 19951995 copies of 11, giving the displayed sum.