nLab logarithmic integral function

Definition

The logarithmic integral function is the integral

$$x\mapsto li(x) \coloneqq \underoverset{0}{x}{\int}\frac{d t}{ln t}$$

over the inverse of the logarithm of the argument.

References

• Wikipedia, Logarithmic integral function