不进行特别严格的数学分析
∵32πn√en单调减趋近于0的
∴∀c>0,总能找到正整数n0使得,32πn√en<c
∴∀c>0,∃n0,使得n!<32πn√ennn<cnn
故
n!=o(nn)
∵2πn‾‾‾‾√(n2e)n在n≥5时,单调增趋近于正无穷
∴∀c>0,总能找到正整数n0使得,2πn‾‾‾‾√(n2e)n>c
∴∀c>0,∃n0,使得n!>2πn‾‾‾‾√(n2e)n⋅2n>c⋅2n
故
n!=ω(2n)
lg(2πn‾‾‾‾√)+nlgn−nlge≤lg(n!)<lg(32πn‾‾‾‾√)+nlgn−nlge
∵nlge−lg(2πn‾‾‾‾√)<12nlgn,n>16即可
故lg(n!)≥12nlgn
同理可得
lg(n!)<=nlgn
故
lg(n!)=Θ(nlgn)