TeX source:
f(3) = 13