Exponential integral E
From specialfunctionswiki
The exponential integrals are $$\mathrm{Ei}(z) = \int_{-\infty}^x \dfrac{e^t}{t} dt; |\mathrm{arg}(-z)|<\pi$$ and $$E_1(z) = \displaystyle\int_z^{\infty} \dfrac{e^{-t}}{t}dt;|\mathrm{arg \hspace{2pt}}z<\pi|.$$
Properties
Proposition: The exponential integral $\mathrm{Ei}$ is related to the logarithmic integral by the formula $$\mathrm{li}(x)=\mathrm{Ei}( \log(x)).$$
Proof: █
