コーシー判定条件：1変数関数の収束について

1変数関数の収束に関するコーシーの判定条件・コーシーの判定法の証明。
大枠だけリフォーム。