Fuente TeX:
\displaystyle \int_{f(1)}^{f(5)}f^{-1}(s)\, ds \leq 5f(5) - 1f(1) - \int_{1}^{5} f(t)\,dt