Usted está proponiendo que $n^m > m^n \iff n > m$. Sin embargo, hay muchos ejemplos en los que esto no es totalmente cierto.
Si $n = 2 \land m = 3 \implies n^m < m^n : n < m$
Si $n = 2 \land m = 4 \implies n^m = m^n : n < m$
Y obviamente si $n = 1 \land m > 1 \implies n^m < m^n : n < m$
Pero tal vez lo que usted está tratando de decir es que:
Si $n > m \implies n^m > m^n$ porque parece $n < m$ en estas contradiciendo ejemplos anteriores. Quiero decir, ¿por qué estos parecen ser los únicos ejemplos que contradicen? Con los ejemplos anteriores, sabemos que $n \neq m \neq 0 \lor 1 \because n^m < m^n$. Así que la mudanza de $1$ $2$donde$n = 2$$m > 2$, encontramos un pequeño cambio en la igualdad de los signos.
Para el primer ejemplo, $n^m < m^n$
Para el segundo ejemplo, $n^m = m^n$
Y parece que si $m > 2^2 = 4$, entonces su teoría es verdadera, donde $n^m > m^n$. Y parece que la razón de su teoría parece verdadera la condición de que $m > 2^2$ es debido a que debemos encontrar el primer $n^m \lor m^n : n \land m > 1$ (debido a $1 > 0$, lo que es obviamente $2^2$.
En resumen, la teoría no es que "si $n^m > m^n$$n > m$", sino que:
$$\text{if} \qquad n > m \implies n^m > m^n : n \land m \in \mathbb{W}$$
(desde $\mathbb{W}$ es el conjunto de todos los números de $\ge 0$ también conocido como "Números Enteros")