TeX source:
f(2)=1