DLMF:27.11.E11 (Q8773): Difference between revisions

From MaRDI portal
Created a new Item: Initial DLMF data seeding
 
Added link to MaRDI item.
 
(10 intermediate revisions by 3 users not shown)
Property / Symbols used
 
Property / Symbols used: order not exceeding / rank
 
Normal rank
Property / Symbols used: order not exceeding / qualifier
 
DLMF defining formula:

O ( x ) Big-O 𝑥 {\displaystyle{\displaystyle O\left(\NVar{x}\right)}}

\bigO@{\NVar{x}}
Property / Symbols used: order not exceeding / qualifier
 
xml-id: C2.S1.E3.m2ajdec
Property / Symbols used
 
Property / Symbols used: Euler’s totient / rank
 
Normal rank
Property / Symbols used: Euler’s totient / qualifier
 
DLMF defining formula:

ϕ ( n ) Euler-totient-phi 𝑛 {\displaystyle{\displaystyle\phi\left(\NVar{n}\right)}}

\Eulertotientphi[]@{\NVar{n}}
Property / Symbols used: Euler’s totient / qualifier
 
xml-id: C27.S2.E7.m2acdec
Property / Symbols used
 
Property / Symbols used: Q12124 / rank
 
Normal rank
Property / Symbols used: Q12124 / qualifier
 
DLMF defining formula:

modular-equivalence {\displaystyle{\displaystyle\equiv}}

\equivmod
Property / Symbols used: Q12124 / qualifier
 
xml-id: introduction.Sx4.p2.t1.r10.m10aadec
Property / Symbols used
 
Property / Symbols used: principal branch of logarithm function / rank
 
Normal rank
Property / Symbols used: principal branch of logarithm function / qualifier
 
DLMF 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.m2ahdec
Property / Symbols used
 
Property / Symbols used: positive integer / rank
 
Normal rank
Property / Symbols used: positive integer / qualifier
 
DLMF defining formula:

k 𝑘 {\displaystyle{\displaystyle k}}

k
Property / Symbols used: positive integer / qualifier
 
xml-id: C27.S1.XMD2.m1adec
Property / Symbols used
 
Property / Symbols used: prime numbers / rank
 
Normal rank
Property / Symbols used: prime numbers / qualifier
 
DLMF defining formula:

p , p 1 , 𝑝 subscript 𝑝 1 {\displaystyle{\displaystyle p,p_{1},\ldots}}

p,p_{1},\ldots
Property / Symbols used: prime numbers / qualifier
 
xml-id: C27.S1.XMD5.m1cdec
Property / Symbols used
 
Property / Symbols used: real number / rank
 
Normal rank
Property / Symbols used: real number / qualifier
 
DLMF defining formula:

x 𝑥 {\displaystyle{\displaystyle x}}

x
Property / Symbols used: real number / qualifier
 
xml-id: C27.S1.XMD6.m1jdec
Property / instance of
 
Property / instance of: Digital Library of Mathematical Functions Formula / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI formula profile / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 09:07, 3 March 2024

No description defined
Language Label Description Also known as
English
DLMF:27.11.E11
No description defined

    Statements

    p x p h ( mod k ) ln p p = 1 ϕ ( k ) ln x + O ( 1 ) , subscript 𝑝 𝑥 modular-equivalence 𝑝 annotated pmod 𝑘 𝑝 𝑝 1 Euler-totient-phi 𝑘 𝑥 Big-O 1 {\displaystyle{\displaystyle\sum_{\begin{subarray}{c}p\leq x\\ p\equiv h\!\!\!\!\!\pmod{k}\end{subarray}}\frac{\ln p}{p}=\frac{1}{\phi\left(k% \right)}\ln x+O\left(1\right),}}
    0 references
    O ( x ) Big-O 𝑥 {\displaystyle{\displaystyle O\left(\NVar{x}\right)}}
    C2.S1.E3.m2ajdec
    0 references
    ϕ ( n ) Euler-totient-phi 𝑛 {\displaystyle{\displaystyle\phi\left(\NVar{n}\right)}}
    C27.S2.E7.m2acdec
    0 references
    modular-equivalence {\displaystyle{\displaystyle\equiv}}
    introduction.Sx4.p2.t1.r10.m10aadec
    0 references
    ln z 𝑧 {\displaystyle{\displaystyle\ln\NVar{z}}}
    C4.S2.E2.m2ahdec
    0 references
    k 𝑘 {\displaystyle{\displaystyle k}}
    C27.S1.XMD2.m1adec
    0 references
    p , p 1 , 𝑝 subscript 𝑝 1 {\displaystyle{\displaystyle p,p_{1},\ldots}}
    C27.S1.XMD5.m1cdec
    0 references
    x 𝑥 {\displaystyle{\displaystyle x}}
    C27.S1.XMD6.m1jdec
    0 references

    Identifiers