DLMF:4.10.E7

MaRDI QIDQ1725 Digital Library of Mathematical Functions ID4.10.E7

• Label: DLMF:4.10.E7

${\displaystyle{\displaystyle\pvint_{0}^{x}\frac{\mathrm{d}t}{\ln t}=\mathrm{li}\left(x\right),}}$

Constraint(s)

${\displaystyle{\displaystyle x>1}}$

Symbols List

• ${\displaystyle{\displaystyle\mathrm{d}\NVar{x}}}$: differential of x
• ${\displaystyle{\displaystyle\mathrm{li}\left(\NVar{x}\right)}}$: logarithmic integral
• ${\displaystyle{\displaystyle\ln\NVar{z}}}$: principal branch of logarithm function
• ${\displaystyle{\displaystyle\pvint_{\NVar{a}}^{\NVar{b}}}}$: Cauchy principal value
• ${\displaystyle{\displaystyle x}}$: real variable
 

Resources that cite this formula

No records found.

---

---

Edit DLMF:4.10.E7 item

This page was built for formula: DLMF:4.10.E7