由于|f'(x)|〈=g'(x).因此当x>a时,|(f(x)-f(a))/(x-a)|<=(g(x)-g(a))/(x-a),两边约去(x-a)得,|f(x)-f(a)|<=g(x)-g(a),f(x)-f(a)<=|f(x)-f(a)|<=g(x)-g(a),当x>a时f(x)-f(a)<=g(x)-g(a),当a=x时,f(x)-f(a)=g(x)-g(a).所以x>=a时,有f(x)-f(a)<=g(x)-g(a)