Известно, что знакочередующийся ряд u1-u2+u3-u4+…(un>0) является сходящимся, если выполняются 2 условия: 1) u1>u2>u3>u4>… 2) ?
Эта теорема называется признак Лейбница.