TeX source:
f(3)=13