Let $!$ be the D6: Natural number factorial function.
Let $n \in 1, 2, 3, \ldots$ be a D5094: Positive integer.

Then \begin{equation} n \log n - n < \log (n !) \end{equation}