Let $E = \{x_1, x_2, \ldots, x_n, \ldots\}$ be a countably infinite set where the $x_i$ are pairwise distinct elements. We denote by $\mathscr{M}(E)$ the set of probability measures on $E$. We denote by $\mathscr{P}(E)$ the set of subsets of $E$. Let $\mathscr{B}(\mathscr{P}(E), \mathbb{R})$ be the $\mathbb{R}$-vector space of bounded functions from $\mathscr{P}(E)$ to $\mathbb{R}$ with norm $\|f\| = \sup\{|f(A)|, \quad A \in \mathscr{P}(E)\}$. We fix a sequence $(\mu_n)_{n \in \mathbb{N}}$ of elements of $\mathscr{M}(E)$ and $\mu \in \mathscr{M}(E)$ satisfying $$\forall x \in E, \quad \lim_{n \rightarrow +\infty} \mu_n(x) = \mu(x). \tag{1}$$ We also fix a real number $\varepsilon > 0$. Show that there exists a finite subset $F_\varepsilon$ of $E$ and an integer $N_\varepsilon \geqslant 0$ such that $\mu(F_\varepsilon) > 1 - \varepsilon$ and for all integer $n \geqslant N_\varepsilon$ $$\sum_{x \in F_\varepsilon} |\mu_n(x) - \mu(x)| < \varepsilon.$$
Let $E = \{x_1, x_2, \ldots, x_n, \ldots\}$ be a countably infinite set where the $x_i$ are pairwise distinct elements. We denote by $\mathscr{M}(E)$ the set of probability measures on $E$. We denote by $\mathscr{P}(E)$ the set of subsets of $E$. Let $\mathscr{B}(\mathscr{P}(E), \mathbb{R})$ be the $\mathbb{R}$-vector space of bounded functions from $\mathscr{P}(E)$ to $\mathbb{R}$ with norm $\|f\| = \sup\{|f(A)|, \quad A \in \mathscr{P}(E)\}$.
We fix a sequence $(\mu_n)_{n \in \mathbb{N}}$ of elements of $\mathscr{M}(E)$ and $\mu \in \mathscr{M}(E)$ satisfying
$$\forall x \in E, \quad \lim_{n \rightarrow +\infty} \mu_n(x) = \mu(x). \tag{1}$$
We also fix a real number $\varepsilon > 0$.
Show that there exists a finite subset $F_\varepsilon$ of $E$ and an integer $N_\varepsilon \geqslant 0$ such that $\mu(F_\varepsilon) > 1 - \varepsilon$ and for all integer $n \geqslant N_\varepsilon$
$$\sum_{x \in F_\varepsilon} |\mu_n(x) - \mu(x)| < \varepsilon.$$