Ayer me topé con un interesante ejercicio:
(Ex) Dada una secuencia {an}n≥1 tal que ∑n≥1an is convergent, prove that ∑n≥1an−1nn es convergente, también.
Mi prueba explota una idea de Carlson de la desigualdad. Tenemos: an−1nn=GM(1n,2an,32an,…,nn−1an) y por el AM-GM de la desigualdad an−1nn≤1n(1n+ann−1∑k=1k+1k)≤1n2+(1+lognn)an por lo tanto ∑n≥1an−1nn≤π26+(1+1e)∑n≥1an.
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 ∑m<n≤2ma2m−12mn≈∑m<n≤2man−1nn≈∑m<n≤2mam−1mn "el bloqueo" de los exponentes más pequeña suma de sub-rangos?