1. Stirling's formula