>>536
　x[1] + x[2] + ･･･ + x[n] = s,
　Σ[1≦i<j≦n] x[i]*x[j] = t,
とおくと
　s = 1,
　納j=1,n]x[j]*x[j+1] ≦ t,
だから
　(左辺) = s^2 -2t = 1-2t,
　(右辺) > (1-t)^2,
よって成立。