据说(log(2*Pi*n)/2+n*(log(n)-1))/log(10)+1能算n!的数量级log是取e为底的对数,Pi是圆周率请问谁能解释这个公式的由来?

据说(log(2*Pi*n)/2+n*(log(n)-1))/log(10)+1能算n!的数量级log是取e为底的对数,Pi是圆周率请问谁能解释这个公式的由来?
据说(log(2*Pi*n)/2+n*(log(n)-1))/log(10)+1能算n!的数量级
log是取e为底的对数,
Pi是圆周率
请问谁能解释这个公式的由来?

据说(log(2*Pi*n)/2+n*(log(n)-1))/log(10)+1能算n!的数量级log是取e为底的对数,Pi是圆周率请问谁能解释这个公式的由来?
斯特林公式：
当n充分大时,n!≈√(2πn)(n/e)^n