Logarithmic integral function
Function
definiendum
$ \mathrm{li}: \mathbb R_+\to \mathbb R_+$
definiendum
$ \mathrm{li}(x) := \int_0^x \frac{1}{\ln(t)}\mathrm d t $
Discussion
Reference
Wikipedia:
Logarithmic integral function
Parents
Subset of
ℝ valued function
Requirements
Cauchy principal value