I recently sketched a quick proof of Stirling’s asymptotic formula for the factorial. But what does this formula really mean?

Above is my favorite explanation. You can’t see the number in the words here, but it’s hiding in the formula for a Gaussian probability distribution. But what about the factorial, and the rest?

My description in words was informal. I’m really talking about a Poisson distribution. If raindrops land at an average rate this says that after time the probability of having landed is

This is where the factorial comes from, and also the number

Since the average rate of rainfall is at time the expected number of drops that have landed will be Since I said “wait until the expected number of drops that have landed is ”, we want Then the probability of having landed is

Next, what’s the formula for a Gaussian with mean and standard deviation ? Written as a function of it’s

If this matches the Poisson distribution above in the limit of large the two functions must match at the point at least asymptotically, so

And this becomes Stirling’s formula after a tiny bit of algebra!

I learned about this on Twitter: Ilya Razenshtyn showed how to prove Stirling’s formula starting from probability theory this way. But it’s much easier to use his ideas to check that my paragraph in words implies Stirling’s formula, as I’ve just done.

Related

This entry was posted on Friday, October 8th, 2021 at 6:40 pm and is filed under mathematics, probability. You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.

John
There is a counterpoint to this. When Paul Levy was doing his foundational work in functional analysis circa 1920 he very simply extracted a Gaussian out of a cosine in the context of working out the volume of a sphere in n dimensions. This fundamental observation was later used by Wiener in his foundational Differential Space paper which dealt with Brownian motion and Wiener gave Levy the credit for the inspiration. I explain what Levy did here: https://gotohaggstrom.com/Extracting%20the%20Gaussian%20from%20integrals%20of%20cosines.pdf
To my knowledge – and for reasons that escape me – his works have never been translated into English. Some years ago I emailed a famous French mathematician and asked him why Levy had been treated so shabbily and got “C’est un outrage” as a reply. I’m still none the wiser. My older sister who is an expert French linguist cannot be convinced to do the job!!
Peter

You can use Markdown or HTML in your comments. You can also use LaTeX, like this: $latex E = m c^2 $. The word 'latex' comes right after the first dollar sign, with a space after it. Cancel reply

You need the word 'latex' right after the first dollar sign, and it needs a space after it. Double dollar signs don't work, and other limitations apply, some described here. You can't preview comments here, but I'm happy to fix errors.

John

There is a counterpoint to this. When Paul Levy was doing his foundational work in functional analysis circa 1920 he very simply extracted a Gaussian out of a cosine in the context of working out the volume of a sphere in n dimensions. This fundamental observation was later used by Wiener in his foundational Differential Space paper which dealt with Brownian motion and Wiener gave Levy the credit for the inspiration. I explain what Levy did here: https://gotohaggstrom.com/Extracting%20the%20Gaussian%20from%20integrals%20of%20cosines.pdf

To my knowledge – and for reasons that escape me – his works have never been translated into English. Some years ago I emailed a famous French mathematician and asked him why Levy had been treated so shabbily and got “C’est un outrage” as a reply. I’m still none the wiser. My older sister who is an expert French linguist cannot be convinced to do the job!!

Peter