fac(1) -> 1;
fac(N) -> N * fac(N-1).