limit (log(2,n))^2 / log(2,log(2,n)), n->+oo