# if $\lim_{n\rightarrow\infty}\int_E|f_n|=\int_E|f|$ then $\int_E|f-f_n|\rightarrow 0$

Let $\{f_n\}$ be a sequence of integrable functions on $E$ for which $f_n$ converges to $f$ a.e. on $E$, and $f$ is integrable over $E$. Show that if $\lim_{n\rightarrow\infty}\int_E|f_n|=\int_E|f|$ then $\int_E|f-f_n|\rightarrow 0$.

Given solution is using Lebesgue Dominated Convergence: $0\leq |f_n-f|+|f|-|f_n|\leq 2|f|$. I am having trouble of understanding those two inequalities... Why is it bounded by $2|f|$, and why is that at least $0$? Also is there any other way to show this?

• $\lvert f_n\rvert = \lvert (f_n - f) + f\rvert \leqslant \lvert f_n - f\rvert + \lvert f\rvert$ gives the left inequality after rearranging, and $\lvert f_n - f\rvert + \lvert f\rvert \leqslant (\lvert f_n\rvert + \lvert f\rvert) + \lvert f\rvert$ gives the right after rearranging. Dec 21, 2017 at 20:45
• @Daniel Fischer Thank you! Dec 21, 2017 at 20:56

Anyway, now I see that: $|f_{n}-f|\leq|f_{n}|+|f|$, so $|f_{n}-f|-|f_{n}|\leq|f|$, so $|f_{n}-f|+|f|-|f_{n}|\leq 2|f|$.
• For the issue that $\geq 0$ can be explained: $|f_{n}|=|f_{n}-f+f|\leq|f_{n}-f|+|f|$, so $|f_{n}-f|+|f|-|f_{n}|\geq 0$. Dec 21, 2017 at 20:33