Let be a finite measure space and be a nonnegative measurable function of . For each , set
.
Verify that it is a finite measure if and only if is integrable.
I do not see how this if and only if follows. Any hints on this would be great. Thanks in advance.