を評価してコーシー列か判定すれば、極限値を仮定することなく収束性が判定できるのである.
のである