Let be a measure space and we consider a measurable positive function . I already proved that if the Lebesgue integral of on is finite, that is
then , that is is finite almost everywhere.
Now, let an - integrable function, that is
and therefore is finite ae, so is a measurable positive function.
From this can I conclude that itself is finite almost everywhere?