DLMF:1.7.E11 (Q223)

From MaRDI portal





No description defined
Language Label Description Also known as
default for all languages
No label defined
    English
    DLMF:1.7.E11
    No description defined

      Statements

      DLMF defining formula
      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
      Symbols used
      differential of x
      DLMF defining formula
      d x 𝑥 {\displaystyle{\displaystyle\mathrm{d}\NVar{x}}}
      xml-id
      C1.S4.SS4.m1addec
      0 references
      exponential function
      DLMF defining formula
      exp ⁡ z 𝑧 {\displaystyle{\displaystyle\exp\NVar{z}}}
      xml-id
      C4.S2.E19.m2adec
      0 references
      integral
      DLMF defining formula
      ∫ {\displaystyle{\displaystyle\int}}
      xml-id
      C1.S4.SS4.m3addec
      0 references
      principal branch of logarithm function
      DLMF defining formula
      ln ⁡ z 𝑧 {\displaystyle{\displaystyle\ln\NVar{z}}}
      xml-id
      C4.S2.E2.m2adec
      0 references

      Identifiers

       
      Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q223&oldid=54725546"
      Powered by MediaWiki