maximize sqrt(u) exp((pi^2/6-Li_2(u))/log(u))