Предположим N > 10
. (Вам нужно только доказать оценку для «достаточно большого» * 1002 *.)
Предположим, у нас есть sum_n log(n)
, но мы игнорируем условия, где n < N/10
.
У нас осталось 9/10 * N
терминов, и каждый термин не менее log(N/10)
. Тогда:
sum_n log(n) >= (9/10 * N) * log(N/10)
= (9/10 * N) * (log(N) - log(10))
= (constant) * N * log(N) - (constant) * N
что явно Omega(N log N)
.