Stirling’s formula