DLMF:4.10.E7 (Q1725): Difference between revisions

From MaRDI portal
Changed an Item: Add constraint
Changed an Item: Add constraint
Property / Symbols used
 
Property / Symbols used: logarithmic integral / rank
 
Normal rank
Property / Symbols used: logarithmic integral / qualifier
 
DLMF defining formula:

li ( x ) logarithmic-integral 𝑥 {\displaystyle{\displaystyle\mathrm{li}\left(\NVar{x}\right)}}

\logint@{\NVar{x}}
Property / Symbols used: logarithmic integral / qualifier
 
xml-id: C6.S2.E8.m2adec

Revision as of 12:18, 21 December 2021

No description defined
Language Label Description Also known as
English
DLMF:4.10.E7
No description defined

    Statements

    0 x d t ln t = li ( x ) , superscript subscript principal-value-integral 0 𝑥 𝑡 𝑡 logarithmic-integral 𝑥 {\displaystyle{\displaystyle\pvint_{0}^{x}\frac{\mathrm{d}t}{\ln t}=\mathrm{li% }\left(x\right),}}
    0 references
    x > 1 𝑥 1 {\displaystyle{\displaystyle x>1}}
    0 references
    d x 𝑥 {\displaystyle{\displaystyle\mathrm{d}\NVar{x}}}
    C1.S4.SS4.m1afdec
    0 references
    li ( x ) logarithmic-integral 𝑥 {\displaystyle{\displaystyle\mathrm{li}\left(\NVar{x}\right)}}
    C6.S2.E8.m2adec
    0 references