Ayer me topé con un interesante ejercicio:
(Ex) Dada una secuencia $\{a_n\}_{n\geq 1}$ tal que $\sum_{n\geq 1}a_n$ is convergent, prove that $$ \sum_{n\geq 1}a_n^{\frac{n-1}{n}}$$ es convergente, también.
Mi prueba explota una idea de Carlson de la desigualdad. Tenemos: $$ a_n^{\frac{n-1}{n}}=\text{GM}\left(\frac{1}{n},2a_n,\frac{3}{2}a_n,\ldots,\frac{n}{n-1}a_n\right) $$ y por el AM-GM de la desigualdad $$ a_n^{\frac{n-1}{n}}\leq \frac{1}{n}\left(\frac{1}{n}+a_n\sum_{k=1}^{n-1}\frac{k+1}{k}\right)\leq \frac{1}{n^2}+\left(1+\frac{\log n}{n}\right)a_n $$ por lo tanto $$ \sum_{n\geq 1}a_n^{\frac{n-1}{n}}\color{red}{\leq} \frac{\pi^2}{6}+\left(1+\frac{1}{e}\right)\sum_{n\geq 1}a_n.$$
Ahora mi real
Pregunta: ¿hay una manera más simple prueba de (Ex), tal vez a través del Titular de la desigualdad, tal vez la explotación de las aproximaciones $$ \sum_{m<n\leq 2m}a_n^{\frac{2m-1}{2m}}\approx \sum_{m<n\leq 2m}a_n^{\frac{n-1}{n}}\approx \sum_{m<n\leq 2m}a_n^{\frac{m-1}{m}}$$ "el bloqueo" de los exponentes más pequeña suma de sub-rangos?