Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View history
Purge
English
Log in
DLMF:1.7.E11
(Q223)
From MaRDI portal
Jump to:
navigation
,
search
No description defined
Language
Label
Description
Also known as
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
Digital Library of Mathematical Functions ID
1.7.E11
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
instance of
Digital Library of Mathematical Functions Formula
0 references
MaRDI profile type
MaRDI formula profile
0 references
Sitelinks
Mathematics
(1 entry)
mardi
Formula:223
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Concept URI