iterated logarithm