n^2*(log(n)+log(log(n))-3/2)/2=12*10^9