TeX source:
f'(x)\geq 0