TeX source:
f(1)=4, f(5)=8