DEF fac(n) n <= 0 => 1 // n * fac(n - 1);