比较引理：

这个定理大意就是： 两个函数 f1, f2. f1的起始点的函数值小于等于f2, 而且f1的导数还永远小于等于f2, 所以必然f1的函数值一直小于等于f2

 

定理截图：

证明：

参考文献：H. Khalil, Nonlinear Systems, 2nd ed.