How do I prove that counting measure is subadditive?
Particularly, I'm confused about, what cases do I need to explore?
$$\mu^* \bigg(\bigcup_{i=1}^{\infty} E_i \bigg)$$
then since each $E_i$ is either some finite natural number or $\infty$, then do I need to induct or something?
Or perhaps one considers:
- all $E_i$ are finite
- at least one $E_i$ is infinite