This is restating Stirling's approximation, which has been known for three centuries (1730, de Moivre 1721). https://en.wikipedia.org/wiki/Stirling%27s_approximation
Stirling’s approximation is mentioned in the article.
Stirling’s approximation is mentioned in the article.