Stirling's formula/Definition

An approximation to the factorial function.