Category:Logarithmic Integral

This category contains results about Logarithmic Integral.
Definitions specific to this category can be found in Definitions/Logarithmic Integral.

Let $x \in \R_{>0}$ be a (strictly) positive real number.

The logarithmic integral of $x$ is defined as:

$\ds \map \li x = \PV_0^x \frac {\d t} {\ln t}$

where:

$\ln$ denotes the natural logarithm function

$\PV$ denotes the Cauchy principal value.