The binomial probability distribution