Talk:Logarithmic Integral as Non-Convergent Series

What the heck is $\ln 0$? --GFauxPas (talk) 23:25, 17 June 2013 (UTC)

Formally it should be $\lim_{x \to 0} \dfrac x {\log x} = 0$. Since $1/\log(t)$ isn't defined at 0, li$(z)$ is defined by:
 * $\displaystyle\lim_{\epsilon \to 0} \int_\epsilon^z \frac {dt} t$

--Linus44 (talk) 11:19, 18 June 2013 (UTC)

For $z > 1$, it has to be understand as a Cauchy principal value:
 * $\displaystyle {\rm li}\ z = \lim_{\epsilon\to 0}\left({\int_0^{1-\epsilon}\frac{\mathrm dt}{\ln t} + \int_{1+\epsilon}^z\frac{\mathrm dt}{\ln t}}\right)$

But all of this should be on a definition page. Aerendil97 (talk) 04:45, 22 June 2013 (UTC)