Fuente TeX:
\displaystyle \int_{0}^{\frac{\pi}{4}} \tan^{n+1}(x) dx \leq \int_{0}^{\frac{\pi}{4}} \tan^{n}(x) dx