Title: A probabilistic derivation of Stirling's formula