Let $n \in \mathbb{N}$ be a D996: Natural number.

Then \begin{equation} |\text{Inj}(\{ 1, \ldots, n \} \to \{ 1, \ldots, n \})| = n! \end{equation}