iterated logarithm

#234446

iteratedlogarithm.wordpress.com/