ThmDex – An index of mathematical definitions, results, and conjectures.
Probability mass function for binomial random natural number
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}
Formulation 1
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) = |\mathcal{P}_m \{ 1, 2, \ldots, n \}| \cdot \theta^m (1 - \theta)^{n - m} \end{equation}