N less than M to the N

Theorem

 * $\forall m, n \in \Z_{>0}: m > 1 \implies n < m^n$