SMS dit: Bonferroni-type inequalities ith applications