Öncelikle şunu belirtmek gerekir. Bu önerme sadece pozitif terimli ıraksak seriler için doğrudur. örneğin a1=−1
ve n≥2 için an=(−1)n2 alacak olursa kolayca görüleceği gibi
|ans2n|→2 olur. O halde genel teriminin limiti sıfır olmadığı için ∑ans2n yakınsak olmaz. O halde her n>0 için an>0 olduğunu varsaymak gerekir. Örneğin an=1n(n+1) alacak olursak sn=nn+1 olacağından
∑ansn=∑1n2
yakınsak olur. Bu aksi örneklerden sonra önermenin doğrusunu ve hatta daha genelini yazalım. Bunun en genel şekli Dini Teoremi olarak bilinir.
Dini Teoremi
∑∞n=1an pozitif terimli ıraksak bir seri ve (sn) bu serinin kısmi toplamlar dizisi olsun. p∈R bir gerçel sayı olduğuna göre ∑anspn serisi p≤1 için ıraksak ve p>1 için yakınsaktır.
Bu teoremin kanıtını örneğin Konrad Knopp'un "THEORY AND
APPLICATION OF INFINITE SERIES" kitabının &39, 173. kısımında
bulabilirsiniz.