# Exponential integral Ei

The exponential integral $\mathrm{Ei}$ is defined for $x>0$ by $$\mathrm{Ei}(x) = \int_{-\infty}^x \dfrac{e^t}{t} \mathrm{d}t.$$
$\ast$-integral functions