DLMF:27.12.E6

MaRDI QIDQ8783 Digital Library of Mathematical Functions ID27.12.E6

• Label: DLMF:27.12.E6

${\displaystyle{\displaystyle\left|\pi\left(x\right)-\mathrm{li}\left(x\right)\right|=O\left(x\exp\left(-d(\ln x)^{3/5}\,(\ln\ln x)^{-1/5}\right)\right).}}$

Symbols List

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

Resources that cite this formula

No records found.

---

---

Edit DLMF:27.12.E6 item

This page was built for formula: DLMF:27.12.E6