令 xn=an−(n−1)x_n=a_n-(n-1)xn=an−(n−1)。题中根式说明所有 nnn 有 xn≥0x_n\ge0xn≥0。前面的不等式变为 n<1995n<1995n<1995 时 2xn≥xn+1+12\sqrt{x_n}\ge x_{n+1}+12xn≥xn+1+1，最后一个变为 2x1995≥x1+12\sqrt{x_{1995}}\ge x_1+12x1995≥x1+1。