2^li(x) - 2^li(x - 1)