Архипов Г.И., Садовничий В.А., Чубариков В.Н. — Лекции по математическому анализу, с. 331:
"...
Утверждение 1. Остаточный член

ряда

можно представить в виде ряда

в том смысле, что:
1) его сумма равна

, когда исходный ряд

сходится;
2) это представление понимается как формальное равенство, когда оба ряда расходятся;
3) другие случаи не имеют места.
Доказательство начнем с п. 3). При

для частичных сумм

ряда

и

ряда

имеет место равенство

.
При фиксированном

сходимость и расходимость последовательностей

и

имеют место одновременно, что и означает справедливость утверждения п. 3)."
Думаю, что тут имеются опечатки.
Должно быть так.
Утверждение 1. Остаточный член

ряда

можно представить в виде ряда

в том смысле, что:
1) его сумма равна

, когда исходный ряд

сходится;
2) это представление понимается как формальное равенство, когда оба ряда расходятся;
3) другие случаи не имеют места.
Доказательство начнем с п. 3). При

для частичных сумм

ряда

и

ряда

имеет место равенство

.
При фиксированном

сходимость и расходимость последовательностей

и

имеют место одновременно, что и означает справедливость утверждения п. 3).
Правильно?
ps.
Опечатки с моей стороны исключены.