I was required to prove Monotone Convergent Theorem as a corollary of Fatou lemma,i.e using Fatou lemma to prove the MCT.
The hint I was given is let $f_n$ be a sequence of increasing function, $lim f_n = f$ . let $b_n=f-f_n$ to prove. Due to my knowledge of limsup and liminf is rusty and superficial. I tried to prove as follows, however I am not sure the way I do is right or not, so please point out the mistake.
Apply Fatou Lemma for $f_n$ :
$ \int \liminf f_n\le\liminf\int f_n \\$
since $\lim f_n = f$ , then $\liminf f_n = f$
$\int f\le\liminf\int f_n \\$ (1)
Apply Fatou Lemma for $b_n$ :
$\int (\liminf (f-f_n))\le\liminf\int(f-f_n)\\$
$\int(f+\liminf (-f_n))\le\liminf(\int f-\int f_n)\\$
$\int f+ \int \liminf (-f_n)\le\int f+\liminf(-\int f_n) \\$
since $\lim f_n = f$ , then $\limsup f_n = f$
$\int f \ge\limsup(\int f_n)\ge\liminf\int f_n $ (2)
(1),(2) : $\int f = \liminf\int f_n = \lim \int f_n$, due to $f_n\to f$.