definiendum | $ \mathrm{Li}: \mathbb R_+\to \mathbb R_+$ |
definiendum | $ \mathrm{Li}(x) := \mathrm{li}(x)-\mathrm{li}(2) $ |
$ \mathrm{Li}(x) := \int_2^x \frac{1}{\ln(t)}\mathrm d t $
$ \mathrm{Li}(x)\approx\pi(x) $
todo: Prime counting-function
Wikipedia: Logarithmic integral function