Let $M = (X, \mathcal{F}, \mu)$ be a D1158: Measure space such that
Let $\varphi : [0, \infty] \to \mathbb{R}$ be a D5321: Standard-isotone basic real function such that
(i) | $f : X \to [0, \infty]$ is an D5610: Unsigned basic Borel function on $M$ |
(i) | $\lambda > 0$ is a D993: Real number |
(ii) | \begin{equation} \varphi(\lambda) \neq 0 \end{equation} |
Then
\begin{equation}
\mu (\{ x \in X : f(x) \geq \lambda \})
\leq \frac{1}{\varphi(\lambda)} \int_X (\varphi \circ f) \, d \mu
\end{equation}