factorial

Stirling's approximation for the factorial function.