TeX source:
f(1) < f(\pi)