DLMF:27.12.E7 (Q8784)

From MaRDI portal





No description defined
Language Label Description Also known as
default for all languages
No label defined
    English
    DLMF:27.12.E7
    No description defined

      Statements

      | π ( x ) - li ( x ) | < 1 8 π x ln x . number-of-primes-less-pi 𝑥 logarithmic-integral 𝑥 1 8 𝑥 𝑥 {\displaystyle{\displaystyle\left|\pi\left(x\right)-\mathrm{li}\left(x\right)% \right|<\frac{1}{8\pi}\sqrt{x}\,\ln x.}}
      0 references
      π {\displaystyle{\displaystyle\pi}}
      C3.S12.E1.m2adec
      0 references
      li ( x ) logarithmic-integral 𝑥 {\displaystyle{\displaystyle\mathrm{li}\left(\NVar{x}\right)}}
      C6.S2.E8.m2abdec
      0 references
      ln z 𝑧 {\displaystyle{\displaystyle\ln\NVar{z}}}
      C4.S2.E2.m2aedec
      0 references
      π ( x ) number-of-primes-less-pi 𝑥 {\displaystyle{\displaystyle\pi\left(\NVar{x}\right)}}
      C27.S2.E2.m2addec
      0 references
      x 𝑥 {\displaystyle{\displaystyle x}}
      C27.S1.XMD6.m1ddec
      0 references

      Identifiers