TeX source:
f(2) = 72