Teorema 1.
Siano {an} e {bn} due successioni. Supponiamo che:
∀n bn > 0,
Allora se esiste
necessariamente esiste
Conseguenza (sulla media aritmetica).
Se {an} è una successione, e l ∈ R ∪ {−∞, +∞}, allora
Teorema 2.
Siano {an} e {bn} due successioni. Supponiamo che {bn} sia strettamente crescente e diverga a +∞:
Allora se esiste il limite
necessariamente si ha
Conseguenza 2.
Se {an} è una successione, e l ∈ R ∪ {−∞, +∞}, allora
Conseguenza 3 (sulla media geometrica).
Se {an} è una successione con an > 0 per ogni n , e l ∈ [0, +∞], allora
Conseguenza 4. (Cesaro “standard)
Se {an} è una successione con an > 0 per ogni n , e l ∈ [0, +∞], allora
Come esempio dei risultati sopra (in particolare del Teorema (2)), studiamo l’andamento della successione:
avendo preassegnato un parametro α in R.
Proposizione
Se α > −1 si ha
mentre, se α = 1
Supponiamo, infatti, α > −1 e per n ≥ 1 prendiamo
Dato che
applicando il Teorema (1) si ottiene
(496)