Stirling's formula for n!