Binomialkoeffizient, Binomialverteilung