DLMF:1.7.E11

MaRDI QIDQ223 Digital Library of Mathematical Functions ID1.7.E11

• Label: DLMF:1.7.E11

${\displaystyle{\displaystyle\exp\left(\int^{1}_{0}\ln\left(f(x)\right)\mathrm{d}x\right)<\int^{1}_{0}f(x)\mathrm{d}x.}}$

Symbols List

• ${\displaystyle{\displaystyle\mathrm{d}\NVar{x}}}$: differential of x
• ${\displaystyle{\displaystyle\exp\NVar{z}}}$: exponential function
• ${\displaystyle{\displaystyle\int}}$: integral
• ${\displaystyle{\displaystyle\ln\NVar{z}}}$: principal branch of logarithm function
 

Resources that cite this formula

No records found.

---

---

Edit DLMF:1.7.E11 item

This page was built for formula: DLMF:1.7.E11