Probability and binomial distribution