DLMF:25.16.E1 (Q7756): Difference between revisions

From DRMF
Jump to navigation Jump to search
Changed an Item: Wikidata Toolkit example test statement addition
Changed an Item: Add constraint
 
(3 intermediate revisions by the same user not shown)
Property / Symbols used
 
Property / Symbols used: principal branch of logarithm function / rank
 
Normal rank
Property / Symbols used: principal branch of logarithm function / qualifier
 
Defining formula:

ln z 𝑧 {\displaystyle{\displaystyle\ln\NVar{z}}}

\ln@@{\NVar{z}}
Property / Symbols used: principal branch of logarithm function / qualifier
 
xml-id: C4.S2.E2.m2adec
Property / Symbols used
 
Property / Symbols used: Q12151 / rank
 
Normal rank
Property / Symbols used: Q12151 / qualifier
 
Defining formula:

m 𝑚 {\displaystyle{\displaystyle m}}

m
Property / Symbols used: Q12151 / qualifier
 
xml-id: C25.S1.XMD2.m1dec
Property / Symbols used
 
Property / Symbols used: Q12153 / rank
 
Normal rank
Property / Symbols used: Q12153 / qualifier
 
Defining formula:

p 𝑝 {\displaystyle{\displaystyle p}}

p
Property / Symbols used: Q12153 / qualifier
 
xml-id: C25.S1.XMD4.m1dec
Property / Symbols used
 
Property / Symbols used: Q12152 / rank
 
Normal rank
Property / Symbols used: Q12152 / qualifier
 
Defining formula:

x 𝑥 {\displaystyle{\displaystyle x}}

x
Property / Symbols used: Q12152 / qualifier
 
xml-id: C25.S1.XMD5.m1dec

Latest revision as of 01:05, 2 January 2020

No description defined
Language Label Description Also known as
English
DLMF:25.16.E1
No description defined

    Statements

    ψ ( x ) = m = 1 p m x ln p , Chebyshev-psi 𝑥 superscript subscript 𝑚 1 subscript superscript 𝑝 𝑚 𝑥 𝑝 {\displaystyle{\displaystyle\psi\left(x\right)=\sum_{m=1}^{\infty}\sum_{p^{m}% \leq x}\ln p,}}
    0 references
    DLMF:25.16.E1
    0 references
    ln z 𝑧 {\displaystyle{\displaystyle\ln\NVar{z}}}
    C4.S2.E2.m2adec
    0 references
    m 𝑚 {\displaystyle{\displaystyle m}}
    C25.S1.XMD2.m1dec
    0 references
    p 𝑝 {\displaystyle{\displaystyle p}}
    C25.S1.XMD4.m1dec
    0 references
    x 𝑥 {\displaystyle{\displaystyle x}}
    C25.S1.XMD5.m1dec
    0 references