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

Created on December 10, 2014 at 19:02:27. See the history of this page for a list of all contributions to it.