 Summable L1 norms imply almost-everywhere absolute convergence

Suppose measurable $a_n$ on a Lebesgue measurable set $E$ satisfy ${\sum }_n{\int }_E|a_n|<\infty$. The nonnegative partial sums $S_N={\sum }_{n\le N}|a_n|$ increase to a measurable extended-valued $S$. The monotone convergence theorem gives ${\int }_{E}S={\sum }_n{\int }_E|a_n|<\infty$, forcing $S<\infty$ almost everywhere. Each $a_n$ is finite almost everywhere too; discard the union of these countably many null sets when defining signed partial sums. The series ${\sum }_n{a}_n$ then converges absolutely outside a null set.