Что означает log* ?

[cyb12]

Есть такое обозначение (обычно в теории сложности алгоритмов) - $\log^*(x)$ (по какому основанию - неважно, потому как стоит обычно в O(...) ). Что это означает?
Правда ли, что

$\log^*x=t$ <=> $\underbrace{\log\log\ldots\log x}_{\text{t раз}} < 0?$

Подскажите, в каких книгах или статьях есть такое обозначение? Рассматривается ли это как-нибудь ещё, кроме как в "О большом" от него?

[ShMaxG]

cyb12 в сообщении #422596 писал(а):

Правда ли, что

Да, правда. Но лично я вообще ни в каких книжках этого обозначения не встречал. Это было у нас на физтехе на семинарах по Алгоритмам...

[cyb12]

Чему равно $\log^*_24?$ 3?

[ShMaxG]

Простите, я Вам немного не правильно подсказал. Вот я нашел свою старую тему с более корректным определением:

http://dxdy.ru/topic19878.html