limit[sqrt(2t*sqrt(pi^2+(log(1+log(1+t)))^2))/sqrt(2t*log(log(t))), t->inf]