Bài tập 24, § 1

Cho $X$ là một không gian compact địa phương. Chứng minh rằng mọi hàm $f \geq 0$, nửa liên tục dưới trong $X$, là bao trên của một họ các hàm liên tục $\geq 0$ và có giá compact.