nLab
logarithmic integral function

Definition

The logarithmic integral function is the integral

xli(x)0xdtlnt 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.