The basic natural number factorial sequence is the D997: Natural number sequence \begin{equation} \mathbb{N} \to \mathbb{N}, \quad n \mapsto n ! \end{equation}