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

From DRMF

Jump to navigation Jump to search

← Older edit

Revision as of 16:03, 1 January 2020 Admin (talk | contribs) Bureaucrats, Interface administrators, Administrators 57,118 edits ‎Changed an Item: Add constraint ← Older edit		Latest revision as of 16:03, 1 January 2020 Admin (talk | contribs) Bureaucrats, Interface administrators, Administrators 57,118 edits ‎Changed an Item: Add constraint
(One intermediate revision by the same user not shown)
		Property / Symbols used
			Q10771
		Property / Symbols used: Q10771 / rank
			Normal rank
		Property / Symbols used: Q10771 / qualifier
			Defining formula: ${\displaystyle{\displaystyle\int}}$ \int
		Property / Symbols used: Q10771 / qualifier
			xml-id: C1.S4.SS4.m3addec
		Property / Symbols used
			principal branch of logarithm function
		Property / Symbols used: principal branch of logarithm function / rank
			Normal rank
		Property / Symbols used: principal branch of logarithm function / qualifier
			Defining formula: ${\displaystyle{\displaystyle\ln\NVar{z}}}$ \ln@@{\NVar{z}}
		Property / Symbols used: principal branch of logarithm function / qualifier
			xml-id: C4.S2.E2.m2adec

---

Latest revision as of 16:03, 1 January 2020

No description defined

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

Statements

Defining formula

${\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

DLMF id

DLMF:1.7.E11

0 references

Symbols used

Q10770

Defining formula

${\displaystyle{\displaystyle\mathrm{d}\NVar{x}}}$

xml-id

C1.S4.SS4.m1addec

0 references

exponential function

Defining formula

${\displaystyle{\displaystyle\exp\NVar{z}}}$

xml-id

C4.S2.E19.m2adec

0 references

Q10771

Defining formula

${\displaystyle{\displaystyle\int}}$

xml-id

C1.S4.SS4.m3addec

0 references

principal branch of logarithm function

Defining formula

${\displaystyle{\displaystyle\ln\NVar{z}}}$

xml-id

C4.S2.E2.m2adec

0 references

 

Sitelinks

Wikipedia(0 entries)

DRMF related sites(0 entries)

Retrieved from "https://drmf-beta.wmflabs.org/index.php?title=Item:Q252&oldid=22660"