TeX source:
f'(x_0)\leq 0