Offset logarithmic integral

Function

definiendum $ \mathrm{Li}: \mathbb R_+\to \mathbb R_+$
definiendum $ \mathrm{Li}(x) := \mathrm{li}(x)-\mathrm{li}(2) $

Discussion

Alternative definition

$ \mathrm{Li}(x) := \int_2^x \frac{1}{\ln(t)}\mathrm d t $

Theorems

$ \mathrm{Li}(x)\approx\pi(x) $

todo: Prime counting-function

Reference

Wikipedia: Logarithmic integral function

Parents

Requirements

Logarithmic integral function