Approximation by nonnegative simple functions
= Approximation by nonnegative simple functions
Every nonnegative measurable function is the pointwise increasing limit of nonnegative simple functions, and its integral is the supremum of their integrals.