Изменения

: Done — надеюсь, стало лучше читаться

:: Стало хуже читаться, потому что теперь не указано, что последние два пункта — если не выполняется то странное неравенство.

Я сверху вынес степень логарифма за скобочки. Не знаю, надо ли это же сделать внизу в доказательстве времени. Если сильно ухудшит читабельность, то не надо.