log_[a](P) でaを底としたPの対数を表す。
-log_[2](log_[2](√√...√2))
「√√...√」部分の√の個数が値になるので、任意の自然数を表すことができる。