DLMF:27.12.E3 (Q8780)

From MaRDI portal
No description defined
Language Label Description Also known as
English
DLMF:27.12.E3
No description defined

    Statements

    π ( x ) = x - 1 - p j x x p j + r 2 ( - 1 ) r p j 1 < p j 2 < < p j r x x p j 1 p j 2 p j r , number-of-primes-less-pi 𝑥 𝑥 1 subscript subscript 𝑝 𝑗 𝑥 𝑥 subscript 𝑝 𝑗 subscript 𝑟 2 superscript 1 𝑟 subscript subscript 𝑝 subscript 𝑗 1 subscript 𝑝 subscript 𝑗 2 subscript 𝑝 subscript 𝑗 𝑟 𝑥 𝑥 subscript 𝑝 subscript 𝑗 1 subscript 𝑝 subscript 𝑗 2 subscript 𝑝 subscript 𝑗 𝑟 {\displaystyle{\displaystyle\pi\left(x\right)=\left\lfloor x\right\rfloor-1-% \sum_{p_{j}\leq\sqrt{x}}\left\lfloor\frac{x}{p_{j}}\right\rfloor+\sum_{r\geq 2% }(-1)^{r}\*\sum_{p_{j_{1}}<p_{j_{2}}<\cdots<p_{j_{r}}\leq\sqrt{x}}\left\lfloor% \frac{x}{p_{j_{1}}p_{j_{2}}\cdots p_{j_{r}}}\right\rfloor,}}
    0 references
    x 1 𝑥 1 {\displaystyle{\displaystyle x\geq 1}}
    0 references
    x 𝑥 {\displaystyle{\displaystyle\left\lfloor\NVar{x}\right\rfloor}}
    introduction.Sx4.p1.t1.r17.m4adec
    0 references
    π ( x ) number-of-primes-less-pi 𝑥 {\displaystyle{\displaystyle\pi\left(\NVar{x}\right)}}
    C27.S2.E2.m2adec
    0 references
    p , p 1 , 𝑝 subscript 𝑝 1 {\displaystyle{\displaystyle p,p_{1},\ldots}}
    C27.S1.XMD5.m1bdec
    0 references
    x 𝑥 {\displaystyle{\displaystyle x}}
    C27.S1.XMD6.m1dec
    0 references