Why is there Inequality in Fatou's Lemma?
There could be several reasons for which the equality does not hold:
- if the measure space has infinite measure, mass can "escape", for example with $f_n:=\chi_{(n,n+1)}$ on the real line;
- in the case of a finite measure space, there could be a huge diminution of the measure of the support of $f_n$ as $n$ goes to infinity;
- oscillation of the function, for example $f_n(x):=\sin^2(n\pi x)$ on the unit interval.
It is worth mentioning that if $\sup_nf_n$ is integrable, then equality holds (dominated convergence theorem).
consider the sequence of functions$$f_n = n 1_{(0,\frac{1}{n}]} $$
Notice
$$ \int f_n = 1 \implies \lim \int f_n = 1 \implies \liminf \int f_n = 1$$
But, $\lim f_n = 0 \implies \liminf f_n = 0 \implies \int (\liminf f_n ) = 0 $