DLMF:6.16.E5

MaRDI QIDQ3012 Digital Library of Mathematical Functions ID6.16.E5

• Label: DLMF:6.16.E5

${\displaystyle{\displaystyle\mathrm{li}\left(x\right)-\pi(x)=O\left(\sqrt{x}\ln x\right),}}$

Constraint(s)

${\displaystyle{\displaystyle x\to\infty}}$

Symbols List

• ${\displaystyle{\displaystyle O\left(\NVar{x}\right)}}$: order not exceeding
• ${\displaystyle{\displaystyle\mathrm{li}\left(\NVar{x}\right)}}$: logarithmic integral
• ${\displaystyle{\displaystyle\ln\NVar{z}}}$: principal branch of logarithm function
• ${\displaystyle{\displaystyle x}}$: real variable
• ${\displaystyle{\displaystyle\pi(x)}}$: number of primes ≤ x
 

Resources that cite this formula

No records found.

---

---

Edit DLMF:6.16.E5 item

This page was built for formula: DLMF:6.16.E5