ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P3248 on R4738: Finite subadditivity of probability measure
P3248
This result is a particular case of R2093: Countable subadditivity of probability measure. $\square$