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