Fuente TeX:

f(1) \leq \int_{1}^{2} f(t)dt