Exercise 1, § 4

Let X be a Lindelöf space (Chapter I, § 9, Exercise 15), let H be a directed set (with respect to the relation ≥) of continuous real-valued functions on X such that the lower envelope g of the functions of H is continuous. Show that there exists a decreasing sequence of functions (f_n) belonging to H which converges pointwise to g.