Monotone Convergence Theorem- If $\{f_n\}$ is a sequence in $L^{+}$ such that $f_j\leq f_{j+1}$ for all $j$, and $f = \lim_{n\rightarrow \infty}f_n(=\sup_{n}f_n)$, then $\int f = \lim_{n\rightarrow\infty}\int f_n$
Fatou's Lemma - If $\{f_n\}$ is any sequence in $L^{+}$, then $$\int f = \int(\lim\inf f_n)\leq \lim\inf\int f_n$$
Let $\{f_n\}_{n\in\mathbb{N}}\subset L^{+}$, then by Fatou's Lemma $$\int f = \int (\lim_{n\rightarrow \infty} f_n) \leq \lim_{n\rightarrow \infty}\inf\int f_n$$ we know that $f = \lim_{n\rightarrow \infty}f_n (=\sup_{n}f_n)$, and that $f_n\leq f$ hence $\int f_n \leq \int f$ for all $n\in \mathbb{N}$, it is clear then that $\lim_{n\rightarrow \infty}\sup\int f_n \leq \int f$. Therefore, $$\lim_{n\rightarrow \infty}\sup\int f_n\leq \int f = \int \lim_{n\rightarrow \infty}\inf f_n \leq \lim_{n\rightarrow \infty}\inf\int f_n = \lim_{n\rightarrow \infty}\int f_n$$ so, $\int f = \lim_{n\rightarrow \infty}\int f_n$
Just want to make sure this is correct, any suggestions is greatly appreciated.