Formula of binomial distribution