関数の右極限を単調減少列の収束へ言い換え

関数の右極限を単調減少列の収束へ言い換える定理の証明。
大枠のリフォーム。