230 B
230 B
[!definition] Définition Soit
f
mesurable positive sur(E, \mathcal{A}, \mu)
\displaystyle \mu\left( \left\{ |f| \geq \frac{1}{n} \right\} \right) \leq n \int |f| \, d\mu
^definition