(p * ln(p)^2) / ((ln(p) - 1) * (1 + ln(p)^2 - ln(ln(p)))) where p = 2^136279841 - 1