Soit $A_1,...,A_n$ des événements. On note pour tout $k\in\zint{1,n}$, $B_k$ l'événement " $k$ événements au moins parmi $A_1,...,A_n$ sont réalisés ".
Définir une variable aléatoire $S_n$ telle que pour tout $k\in\zint{1,n}$, $[S_n\geq k]=B_k$.
Montrer que l'on a alors $\E(S_n)=\dsum_{k=1}^n\Pb(A_k)$
En déduire que $\dsum_{k=1}^n\Pb(B_k)=\dsum_{k=1}^n\Pb(A_k)$, puis une généralisation de l'inégalité de Boole:
$$\forall i\in\zint{1,n},\, \dsum_{k=1}^i\Pb(B_k)\leq\dsum_{k=1}^n\Pb(A_k)$$
Soit $i\in\zint{1,n}$. On note $s_i$ la somme maximale que l'on peut obtenir en sommant, pour $i$ indices $k$ distincts deux à deux, les $\Pb(A_k)$.