Пусть n/2
будет частным от целочисленного деления n
на 2
.У нас есть:
log(n!) = log(n) + log(n-1) + ... + log(n/2) + log(n/2 - 1) + ... + log(2) + log(1)
>= log(n/2) + log(n/2) + ... + log(n/2) + log(n/2 - 1) + ... + log(2)
>= (n/2)log(n/2) + (n/2)log(2)
>= (n/2)(log(n) -log(2) + log(2))
= (n/2)log(n)
, затем
n log(n) <= 2log(n!) = O(log(n!))
и n log(n) = O(log(n!))
.И наоборот,
log(n!) <= log(n^n) = n log(n)
и log(n!) = O(n log(n))
.