Bonferroni inequalities