OFFSET

1,2

COMMENTS

We use for li(x) and x > 1 the Cauchy principal value of Integral_{0..x} dt/log(t). This is stated to prevent confusion with Li(x), which is often defined so that Li(x) = li(x) - li(2).

CROSSREFS

KEYWORD

nonn

AUTHOR

Thomas Scheuerle, Jul 25 2022

STATUS

approved