TeX source:
f(4) = 1