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
