Theorem 7.2.1. Binomial Probability Function. For R = {0, 1, ..., n}, \begin{equation*} f(x) = \binom{n}{x}p^x(1-p)^{n-x} \end{equation*}