# Logarithmic integral

The logarithmic integral is $$\mathrm{li}(x) = \displaystyle\int_0^x \dfrac{1}{\log(t)} \mathrm{d}t,$$ where $\log$ denotes the logarithm.
$\ast$-integral functions