Binomial Random Variable Probability Formula