Из Теоремы 13.1 можно извлечь два важных следствия.
Следствие 1. Если ряд сходится, то последовательность является бесконечно малой.
Доказательство. Достаточно доказать, что для "e > 0 найдется номер N такой, что для всех n ³ N . Это неравенство непосредственно вытекает из неравенства (2), справедливого для любого p = 1, 2, 3,…, и из Теоремы 3.13.
Следствие 2. (необходимое условие сходимости ряда). Для сходимости ряда необходимо, чтобы последовательность членов этого ряда являлась бесконечно малой ().
Доказательство. Достаточно доказать, что для данного сходящегося ряда и для "e > 0 найдется номер N0 такой, что при n ³ N0 .
Пусть дано "e > 0. По Теореме 13.1 найдется номер N такой, что при n ³ N и для любого натурального p выполняется неравенство (2). В частности, при p = 1
(при ) (3)
Если теперь взять номер N0 равным N0 = N + 1, то при n ³ N0 в силу (3) получим , что и требовалось доказать.