#
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.