Cho hàm số $y=f\left( x \right)$. Hàm số $y=f'\left( x \right)$ có...

Bất phương trình nghiệm đúng với mọi thuộc đoạn
với mọi thuộc đoạn


Từ đồ thị của hàm số ta có với mọi thuộc đoạn
mà với mọi thuộc đoạn (do luôn tăng trên đoạn )
Suy ra với mọi thuộc đoạn
Vậy hay .