S
tirling_
F
ormula
Stirling_Formula
Gamma_Asymptotics