这个不等式恒成立
用柯西不等式便可证明出
(x1^2+x2^2+x3^2+.+xn^2)*(1+1+1+.+1)>=(x1+x2+x3+.+xn)^2
仅当x1=x2=x3=.=xn,等号成立
所以这个不等式成立