TeX source:
f(3)=1