fact(n) = prod(one(n):n)