Python Binomial Probability Theorem