Proof. [019X]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
Upon replacing with we may assume that the ’s are probability measures. Fix any . By Lemma 2.24 there exists a continuous function on such that . By Dini’s lemma, we have for all , hence
since by the definition of weak convergence. The result follows. ∎