TeX source:
f(1)=5