 Tonelli theorem

Tonelli’s theorem permits interchange of integrals for a nonnegative measurable function, even before finiteness is known.