Fuente TeX:
\int_a^b F' \leq F(b)-F(a)