Mean of binomial distribution formula