derivation: Stirling's approximation for factorials

[researcherben]

https://en.wikipedia.org/wiki/Stirling%27s_approximation#Derivation

http://www.dfcd.net/articles/derivations/stirling.html