Es que el enunciado no está muy bien. Sería demostrar que An es decreciente a partir de cierto n, ese n pueden dárnoslo o no, pero no decir que es decreciente a secas porque no lo es, al principio es creciente.
Aunque no es lo que nos piden vamos a hacer una cosa
$$\begin{align}&f(x) = \frac{lnx}{x}\\ &\\ &f '(x) = \frac{\frac 1x·x-lnx}{x^2}=\frac{1-lnx}{x^2}=0\\ &\\ &1-lnx=0\\ &\\ &lnx= 1\\ &\\ &x=e\\ &\\ &\end{align}$$
Y si x>e esa derivada es negativa luego la función es decreciente a partir del número e. Luego la sucesión es decreciente a partir del 3.
El criterio de la derivada no sirve para saber si entre 2 y 3 crece o decrece la sucesión aunque calculando
(ln2)/2 = 0.34657359
(ln3)/3 =0.366204
es creciente.
Luego la sucesión crece hasta el elemento n=3 y decrece después
Y ahora lo hacemos como nos dicen por inducción pero a partir del 3, lo que que hay que demostrar es que
(ln n) / n > [ln(n+1)] / (n+1)
Para n= 3
(ln 3) / 3 = 0.366204
(ln 4) / 4 = 0.3465736
se cumple
Ahora supongamos que se cumple para n > 3
(ln n) / n > [ln(n+1)] / (n+1)
y hay que demostrar que
[ln(n+1)] / (n+1) > [ln(n+2)] / (n+2)
NO ME SALE de ninguna forma.
Podrías decirme el libro, a lo mejor puede encontrarlo y allí sale algo especial que se pueda usar para resolver este ejercicio. Muchas veces poder solucionar un problema depende del contexto.
No obstante, sabemos que es cierto por la mini demostración que hice con derivadas.