Let $M = (X, \mathcal{F}, \mu)$ be a D2707: Sigma-bounded measure space such that

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

Then \begin{equation} \int_X f \, d \mu = \int_{[0, \infty]} \mu(f \geq t) \, d t \end{equation}