DLMF:1.7.E11 (Q252): Difference between revisions

From testwiki
Jump to navigation Jump to search
imported>Admin
imported>Admin
 
(One intermediate revision by the same user not shown)
Property / Symbols used
 
Property / Symbols used: exponential function / rank
 
Normal rank
Property / Symbols used: exponential function / qualifier
 
test:

exp z 𝑧 {\displaystyle{\displaystyle\exp\NVar{z}}}

\exp@@{\NVar{z}}
Property / Symbols used: exponential function / qualifier
 
xml-id: C4.S2.E19.m2adec
Property / Symbols used
 
Property / Symbols used: Q10771 / rank
 
Normal rank
Property / Symbols used: Q10771 / qualifier
 
test:

{\displaystyle{\displaystyle\int}}

\int
Property / Symbols used: Q10771 / qualifier
 
xml-id: C1.S4.SS4.m3addec

Latest revision as of 15:03, 1 January 2020

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

    Statements

    exp ( 0 1 ln ( f ( x ) ) d x ) < 0 1 f ( x ) d x . subscript superscript 1 0 𝑓 𝑥 𝑥 subscript superscript 1 0 𝑓 𝑥 𝑥 {\displaystyle{\displaystyle\exp\left(\int^{1}_{0}\ln\left(f(x)\right)\mathrm{% d}x\right)<\int^{1}_{0}f(x)\mathrm{d}x.}}
    0 references
    0 references
    d x 𝑥 {\displaystyle{\displaystyle\mathrm{d}\NVar{x}}}
    C1.S4.SS4.m1addec
    0 references
    exp z 𝑧 {\displaystyle{\displaystyle\exp\NVar{z}}}
    C4.S2.E19.m2adec
    0 references
    {\displaystyle{\displaystyle\int}}
    C1.S4.SS4.m3addec
    0 references