Let $(X, \mathcal F, \mu)$ be a measure space and $f\in M^+(X,\mu)$ (the measurable non-negative functions), and $t>0$. Now let $$S_f(t)=\{x\in X:f(x)>t\} \quad \Psi_f(t)=\mu(S_f(t))$$ Prove that $$\int_Xfd\mu=\int_0^\infty \Psi_f(t)dt$$
I guess the non-trivial part is to prove it for simple functions. The rest follows from B. Levy's theorem. Namely if $\{f_n\}_{n=0}^\infty$ a monotone increasing sequence of measurable functions, then it has a limit $$f:f\in M^+ \land \lim_{n\to \infty}\int_Xf_nd\mu=\int_Xfd\mu$$
Using Tonelli's/Fubini's theorem, we have $$ \begin{align} \int_0^\infty \Psi_f(t)\,\mathrm dt&=\int_0^\infty\int_X 1_{S_f}(t)\,\mathrm \mu(\mathrm dx)\,\mathrm dt=\int_X\,\int_0^\infty 1_{S_f}(t)\,\mathrm dt\,\mu(\mathrm dx)\\ &=\int_X\int_0^\infty 1_{[0,f(x)]}\,\mathrm dt\,\mathrm \mu(\mathrm dx)=\int_X f(x)\,\mu(\mathrm dx), \end{align} $$ which is justified by the assumption that $f$ is non-negative. However, you need your measure space to be $\sigma$-finite in order for Tonelli/Fubini to work.