Для того чтобы ряд 
был сходящимся, необходимо и достаточно, чтобы при любом
>0 можно было найти такое N, что при n>N и любом целом p>0 выполняется неравенство 
Или иначе

Так как: 
Доказательство этой теоремы очевидно: она просто утверждает, что для того, чтобы ряд сходился, необходимо и лостаточно, чтобы последовательность его частных сумм была фундаментальной, то есть сходилась. А это и есть определение сходимости ряда.
Рассмотрим ряд:
и докажем что он сходится. Для этого заметим, что:
=
<
<
,
А поэтому, взяв для
>0 число N такое, что
>
, будет для n>N иметь
<
и
a
+a
+…+a
< 






