Relationship between logarithmic integral and exponential integral

Theorem: The following formula holds: $$\mathrm{li}(x)=\mathrm{Ei}( \log(x)),$$ where $\mathrm{li}$ denotes the logarithmic integral and $\mathrm{Ei}$ denotes the exponential integral Ei.

Proof: █