TeX source:
f(0) = 1