factorial

Factorial function, product of all positive integers less than or equal to n