Properties of binomial probability distribution