TeX source:
f(x)\le f(a)