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