In the lemma, let a11=a3m,a12=a13=⋯=act=1,(i=1,2,⋯,n)It is easy to see: a1mn+a2m+⋯+anm⩾nm−11(a1+a2+⋯+an)mThen (a1+a1k)m+(a2+a2k)m+⋯+(aa+ank)m⩾nn−11[(a1+a1k)+(a2+a2k)+⋯+(an+ank)]mm=nm−11[(a1+a2+⋯+an)+k(a11+a21+⋯+an1)]m⩾nnm−11[k+k⋅a1+a2+⋯+ann2]m=nk−11(k+n2)kx. =n(n+nk)nx.