DLMF:4.10.E7 (Q1725)

From MaRDI portal
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
    ln z 𝑧 {\displaystyle{\displaystyle\ln\NVar{z}}}
    C4.S2.E2.m2afdec
    0 references
    a b superscript subscript principal-value-integral 𝑎 𝑏 {\displaystyle{\displaystyle\pvint_{\NVar{a}}^{\NVar{b}}}}
    C1.S4.E24.m2adec
    0 references
    x 𝑥 {\displaystyle{\displaystyle x}}
    C4.S1.XMD6.m1dec
    0 references