ThmDex – An index of mathematical definitions, results, and conjectures.
F7147
Formulation 0
Let $B \in \mathsf{Binomial}(n, \theta)$ be a D208: Binomial random natural number.
Let $m \in 0, 1, 2, \ldots, n$ be a D996: Natural number.
Then \begin{equation} \mathbb{P}(B = m) = \binom{n}{m} \theta^m (1 - \theta)^{n - m} \end{equation}