This is restating Stirling's approximation, which has been known for three centuries (1730, de Moivre 1721).
<a href="https://en.wikipedia.org/wiki/Stirling%27s_approximation" rel="nofollow">https://en.wikipedia.org/wiki/Stirling%27s_approximation
I know that, that was my point. I'm saying I don't see much point in restating it without adding something; it's been known for 300 years.
smcin · · focus · HN ↗
DerekL · · focus · HN ↗
smcin · · focus · HN ↗