fact(N) = prod(1..N)