Demostrar mediante el mínimo ejemplo contrario para todos los enteros positivos n. $$ n! \leq n^n$$ Sigo atascado después de demostrar que el menor elemento del conjunto de contraejemplos no puede ser igual a 1. Cualquier sugerencia sería de gran ayuda.
¡Genial! Elaborando, $n!$ es el número de biyecciones de $[n] \to [n]$ mientras que $n^n$ es el número de funciones de $[n] \to [n]$ .
0 votos
Esto debería ser bastante obvio, ya que $(n-k) \leq n$ para $k = 1...n-1$ con la definición de $n!$ .
11 votos
$\underbrace{1\cdot 2\cdots n}_{n\text{ numbers}}\le \underbrace{n\cdot n\cdots n}_{n\text{ numbers}}$ para todos $n\in\Bbb Z^+$ .