The binomial probability mass function with parameters $N \in \mathbb{N}$ and $\theta \in [0, 1]$ is the D4364: Real function \begin{equation} \{ 0, 1, \ldots, N \} \to \mathbb{R}, \quad n \mapsto \binom{N}{n} \theta^n (1 - \theta)^{N - n} \end{equation}