Exercise 3, § 5

Let $f$ be a measurable mapping of X into a topological space F, and g a lower semi-continuous numerical function on F; show that $g \circ f$ is measurable.