TeX source:
f(x)\leq f(x_0)