TeX source:
(f(5)=25