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, $\mathrm{Ei}$ denotes the exponential integral Ei, and $\log$ denotes the logarithm.

References

• James Whitbread Lee Glaisher: On certain definite integrals involving the exponential-integral (1881)... (previous)... (next) (note: expresses this relationship as $\mathrm{Ei}(x)=\mathrm{li}(e^x)$)