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