Estoy tratando de demostrar que $A=\{(-2)^n : n \in \mathbb{N} \}$ es ilimitado.
Lo que yo hice fue el primero en mostrar que para cada $n \in \mathbb{N}$ si $n$ es incluso, a continuación, $(-2)^n = 2^n$ e si $n$ es impar, a continuación, $(-2)^n = -2^n$ (yo lo hice por inducción en $n$).
Luego me indican que por cada $n \in \mathbb{N}$ existe $k \in \mathbb{N}$ tal que $(-2)^n \lt (-2)^k$ porque si $n$ es incluso entonces $$(-2)^n=2^n\lt 2^k$$ Donde la última desigualdad se cumple por la definición de las facultades naturales. En el caso de que $n$ es impar es obvio ahora.
Estoy en lo cierto? Es una forma más elegante de la prueba así? gracias!