Efectivamente, la estrategia que plantea Facundo está bien. El problema que tenés, Agustín, es que ninguna de las desigualdades que estás queriendo probar es válida para todo natural. Pero la que nos interesa es que nuestra sucesión está acotada superiormente por a partir de algún . O sea, a partir de dicho valor fijo, la desigualdad debe valer para todo .
Una posible forma de probarlo (que creo es lo que le estaría faltando a Facundo para concluir su prueba, demostrar esa desigualdad) sería comparando los órdenes de infinito de ambas expresiones.