TeX source:
f'(x)\leq 0