Inferior limit of a sequence of measurable functions Suppose $f_n$ is a sequence of non-negative measurable functions that converges in measure to a measurable function $f$. I am trying to show that

$$\int f\leq\liminf_n\int f_n$$

Using Fatou's lemma we know that

$$\int\liminf_n f_n\leq\liminf_n\int f_n$$

so it would be enough to show that
$$f\leq\liminf_n f_n$$
but, is this even true? am I going in the right direction?
Hints:


There exists a subsequence $(f_{n_k})_k$ of $(f_n)_n$ such that $$\liminf_{n \to \infty} \int f_n = \lim_{k \to \infty} \int f_{n_k}.$$
Check that $f_{n_k} \to f$ in measure as $k \to \infty$.
There exists a further subsequence, say $(g_j)_j$, of $(f_{n_k})_k$ such that $g_j \to f$ almost everywhere. Applying Fatou's lemma yields, $$\int f \leq \liminf_{j \to \infty} \int g_j= \liminf_{n \to \infty} \int f_n.$$
Consider $g_n(x)=\inf\limits_{k \geq n}f_k(x)$, if so, we obtain $g_1 \leq g_2 \leq \ldots \leq g_n \leq \ldots$ and $\lim\inf f_n(x) \leq \lim\limits_{n \to \infty} g_n(x)$. By monotone convergence $\int\limits_X f(x)dx = \lim\limits_{n \to \infty} \int\limits_X g_n(x)dx$, which gives $g_n(x) \leq f_n(x)$, so $\int\limits_X g_n(x) dx \leq \int\limits_X f_n(x)dx$.