我知道这是一个有公认答案的老问题，但这些答案实际上都没有使用暗示所建议的方法。

这是一个非常简单的论证:

n !(= 1*2*3*…*n)是n个小于或等于n的数的乘积，因此它小于n个都等于n的数的乘积;也就是说,n ^ n。

一半的数字，即n/2个，在n!乘积大于或等于n/2。因此它们的乘积大于n/2个数的乘积都等于n/2;例如(n / 2) ^ (n / 2)。

全程记录日志以建立结果。

我知道这是一个有公认答案的老问题，但这些答案实际上都没有使用暗示所建议的方法。

这是一个非常简单的论证:

n !(= 1*2*3*…*n)是n个小于或等于n的数的乘积，因此它小于n个都等于n的数的乘积;也就是说,n ^ n。

一半的数字，即n/2个，在n!乘积大于或等于n/2。因此它们的乘积大于n/2个数的乘积都等于n/2;例如(n / 2) ^ (n / 2)。

全程记录日志以建立结果。

参见斯特林近似:

-不，不，不。

后两项的重要性小于前一项。

如果你重新构造这个问题，你可以用微积分来解决它!这个方法最初是通过Arthur Breitman https://twitter.com/ArthurB/status/1436023017725964290向我展示的。

首先，求log(x)从1到n的积分得到n*log(n) -n +1。这证明了一个严格的上界，因为log是单调的，对于每一个点n，从n到n+1对log(n) >log (n) * 1积分。你也可以用log(x-1)来设定下限，对于每一个点n, 1*log(n) >从x=n-1到n对log(x)积分。log(x)从0到n-1的积分是(n-1)*(log(n-1) -1)或者n log(n-1) -n -log(n-1)+1。

这是非常严格的界限!

谢谢，我发现你的答案令人信服，但在我的情况下，我必须使用Θ属性:

log(n!) = Θ(n·log n) =>  log(n!) = O(n log n) and log(n!) = Ω(n log n)

为了验证这个问题，我找到了这个网站，在那里你有所有的过程解释:http://www.mcs.sdsmt.edu/ecorwin/cs372/handouts/theta_n_factorial.htm

对不起，我不知道如何在stackoverflow上使用LaTeX语法。