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$.
Let $(\mu_n)_{n \in \mathbb{N}}$ be a sequence of elements of $\mathscr{M}(E)$. Let $\mu_\infty(x_i)$ be the limits defined in 12b.
Show that $\mu_\infty(x_i) \geqslant 0$ for all $i$ in $\mathbb{N}^*$, and that $\sum_{i=1}^{\infty} \mu_\infty(x_i) \leqslant 1$.