Let \((X,\mathcal M,\mu )\) be a measure space, where the measure \(\mu \) is positive. Suppose \(f,f_n\in L^1(X,\mu )\), \(f_n\ge 0\) for each \(n\), \(f_n\to f\) a.e. and \[ \int _X f_n\,d\mu \to \int _X f\,d\mu \] Prove that \(f_n\to f\) in \(L^1(X,\mu )\) norm.
Hint: Show first that \((f-f_n)^+\le f\) for each \(n\) (recall that for real valued function \(g\), \(g^+=\max (g,0)\)).