The inclusion f(⋂nKn)⊆⋂nf(Kn) holds for every map. Conversely, let y belong to the right side. The sets Ln=Kn∩f−1({y}) are nonempty and nested. They are compact because singletons are closed in a Hausdorffspace and f is continuous. By part (b)(i), some x lies in every Ln. Then x∈⋂nKn and f(x)=y, proving equality of the two sets.