Заметим, что <tex>g(n) \le n</tex> по построению для <tex>n \ge 1</tex>.
Вычисление значения <tex>g(n+1)</tex> состоит из вычисления <tex>g(n)</tex>, проверки неравенства <tex>(\log_2 n)^{g(n)} \ge n</tex> и, возможно, запуска одной из двух внутренних функций. Время , время выполнения этих функций которых составляет:
<ul>