lim of (log(2^(-1/2 log(n) (log(n)+1)) n^(log(n)+1))/n) as n goes to infinity