TeX source:
f'(x_0)\geq 0