factorial 0 = 1
factorial n = n * factorial (n - 1)