コーシー判定条件：1変数関数の右極限

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