Изменения

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

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

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

Название заголовка «корректность алгоритма» — так себе. Формально-то нет тут никакого алгоритма, корректность которого доказывать надо было бы.

: Done: добавил слово «алгоритм»

------------

[[Участник:Kirelagin|Кирилл Елагин]] 13:58, 2 июня 2012 (GST)