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

    DLMF defining formula
    π ⁡ ( 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
    constraint
    x ≥ 1 𝑥 1 {\displaystyle{\displaystyle x\geq 1}}
    0 references
    Symbols used
    Q11140
    DLMF defining formula
    ⌊ x ⌋ 𝑥 {\displaystyle{\displaystyle\left\lfloor\NVar{x}\right\rfloor}}
    xml-id
    introduction.Sx4.p1.t1.r17.m4adec
    0 references
    number of primes not exceeding $$x$$
    DLMF defining formula
    π ⁡ ( x ) number-of-primes-less-pi 𝑥 {\displaystyle{\displaystyle\pi\left(\NVar{x}\right)}}
    xml-id
    C27.S2.E2.m2adec
    0 references
    prime numbers
    DLMF defining formula
    p , p 1 , … 𝑝 subscript 𝑝 1 … {\displaystyle{\displaystyle p,p_{1},\ldots}}
    xml-id
    C27.S1.XMD5.m1bdec
    0 references
    real number
    DLMF defining formula
    x 𝑥 {\displaystyle{\displaystyle x}}
    xml-id
    C27.S1.XMD6.m1dec
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q8780&oldid=24176979"
    Powered by MediaWiki