Properties of binomial distribution