I was deriving the identity $$EX = \sum_{n=1}^{\infty} p(X\geq n).$$
I had to use an interchange of limit sums from $\sum_{n=1}^{\infty} \sum_{i=n}^{\infty} p(X=i)$ to $\sum_{i=1}^{\infty} \sum_{n=1}^{i} p(X=i)$ but I don't know how to justify this. It's obvious that the inner sum $\sum_{i=n}^{\infty} p(X=i)$ is bounded but why is $\sum_{n=1}^{\infty} \sum_{i=n}^{\infty} p(X=i) < \infty$ ? You need that in order to do the swap of summations so I would appreciate an explanation for why we can do the swapping of sums here.
Thanks!