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 となる。