Fuente TeX:
f(0) \leq f(t)