Approximation by nonnegative simple functions
ID: 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.
New to topics? Read the docs here!