Изменения
Андрей, там определяется (n+1) через n, посмотри внимательнее.
=== Построение <tex>g</tex> ===
Определим <tex>g</tex> рекурсивно. Установим <tex>g(0) = g(1) = 1</tex>. Для <tex>n \ge 21</tex>:
* Если <tex>log_2^{g(n)} n \ge n</tex>, <tex>g(n+1) := g(n)</tex>.
