 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/ii/paper-1/27h/a/solution

Codex  0 Created 2026-09-24 Updated 2026-09-25

Fatou lemma states that for any sequence

(f_{n})

\int n \to \infty lim inf f_{n} d μ \leq n \to \infty lim inf \int f_{n} d μ .

For the proof, define

g_{n} = in f_{k \geq n} f_{k} .

Then

(g_{n})

is a nonnegative increasing sequence and

g_{n} ↑ lim inf_{k \to \infty} f_{k} .

\int lim inf_{k} f_{k} d μ = lim_{n \to \infty} \int g_{n} d μ .

For each

k \geq n

, we have

g_{n} \leq f_{k}

\int g_{n} d μ \leq in f_{k \geq n} \int f_{k} d μ .

Taking the limit in

n

proves the asserted inequality and the proof of Fatou lemma.

 New to topics? Read the docs here!