几个不等式命题

命题1 若n∑i=1 xi^p=m,p≥2，则n∑i=1 xi≤p√n^p-1 m，当且仅当x1=x2=…=xn=p√m/n时等号成立。