DLMF:27.11.E10 (Q8772)

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

    Statements

    DLMF defining formula
    ∑ p ≤ x ln ⁡ p p = ln ⁡ x + O ⁡ ( 1 ) . subscript 𝑝 𝑥 𝑝 𝑝 𝑥 Big-O 1 {\displaystyle{\displaystyle\sum_{p\leq x}\frac{\ln p}{p}=\ln x+O\left(1\right% ).}}
    0 references
    constraint
    x ≥ 2 𝑥 2 {\displaystyle{\displaystyle x\geq 2}}
    0 references
    Symbols used
    order not exceeding
    DLMF defining formula
    O ⁡ ( x ) Big-O 𝑥 {\displaystyle{\displaystyle O\left(\NVar{x}\right)}}
    xml-id
    C2.S1.E3.m2aidec
    0 references
    principal branch of logarithm function
    DLMF defining formula
    ln ⁡ z 𝑧 {\displaystyle{\displaystyle\ln\NVar{z}}}
    xml-id
    C4.S2.E2.m2agdec
    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.m1idec
    0 references

    Identifiers

     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q8772&oldid=24176965"
    Powered by MediaWiki