DLMF:4.10.E13 (Q1628): Difference between revisions

From DRMF
Jump to navigation Jump to search
Changed an Item: Add constraint
Changed an Item: Add constraint
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.m2ajdec

Revision as of 18:16, 1 January 2020

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

    Statements

    0 d x e x + 1 = ln 2 . superscript subscript 0 𝑥 superscript 𝑒 𝑥 1 2 {\displaystyle{\displaystyle\int_{0}^{\infty}\frac{\mathrm{d}x}{e^{x}+1}=\ln 2% .}}
    0 references
    DLMF:4.10.E13
    0 references
    d x 𝑥 {\displaystyle{\displaystyle\mathrm{d}\NVar{x}}}
    C1.S4.SS4.m1aldec
    0 references
    e {\displaystyle{\displaystyle\mathrm{e}}}
    C4.S2.E11.m2aedec
    0 references
    {\displaystyle{\displaystyle\int}}
    C1.S4.SS4.m3akdec
    0 references
    ln z 𝑧 {\displaystyle{\displaystyle\ln\NVar{z}}}
    C4.S2.E2.m2ajdec
    0 references