\displaystyle (\forall (A_n)_{n\in\mathbb{N}} \subseteq \mathcal{P}(X))\; \mu^* (\bigcup_{n=1}^{+\infty} A_n) \leq \sum_{n=1}^{+\infty} \mu^* (A_n)