prod_5^4 f(n)