一、不等式化作,证明:
(a_{n+1}-a1)+...+(a_{n+1}-an)>=-a0>=(这里应该是大于号)(an-a1)+...+(an-a_{n-1})
于是,令bn=∑_{k=1}^{n-1}(an-ak) 因此只要证明存在唯一的N 使得b_{N+1}>=-a0>b_{N} 。
先证明{bN}严格递增,据bN-b_{N+1}=N*aN-(N+1)*a_{N+1}+aN=(N+1)(a_{N}-a_{N+1})<0zhi{bN}严格递增。故存在唯一正整数N 使得b_{N+1}>=-a0>b_{N} 证毕。