\[\operatorname{li}\left(x\right)=\pvint_{0}^{x}\frac{\,\mathrm{d}t}{\ln t}=%
\operatorname{Ei}\left(\ln x\right),\]