TeX source:
f(4)=3