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