Iterated logarithm