史济怀的书!你是中科大的?细节不方便在这里讲。大致思路为:1.S(x)>=0,所以有下确界m2.存在数列{xn},使得limS(xn)=m3.数列存在子列xkn->x04.反证法证明S(x0)=m。具体自己想想吧。提示多了。