For events , the probabilistic inclusion-exclusion principle isTo prove it, fix an outcome lying in exactly events. Its total coefficient on the right isby the binomial theorem; outcomes in no event contribute zero. Taking expectations of this pointwise indicator identity proves the formula. Truncating after the pair terms gives the Bonferroni inequalities
For the final bound, let and . The intersection assumption givesThe Cauchy-Schwarz inequality applied to yields . Thereforeso the required universal constant may be taken as . This is a second moment method estimate.
Articles by others on the same topic
There are currently no matching articles.