lim n -> infinity of ((li(n)*log(n))/n)^log(n)