Stav dette: Bonferroni-type inequalities ith applications