Let $M = (X, \mathcal{F}, \mu)$ be a D1158: Measure space such that

(i)	$f : X \to [0, \infty]$ is an D5610: Unsigned basic Borel function on $M$

Let $\varphi : [0, \infty] \to \mathbb{R}$ be a D5321: Standard-isotone basic real function such that

(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}