product(ZZ,Function) -- product of consecutive values of a function

Synopsis

product(n,f) compute the product f(0) * f(1) * ... * f(n-1).

i1 : product(5, i -> 2*i+1)

o1 = 945