関数の右極限を単調減少列の収束へ言い換える定理の証明

関数の右極限を単調減少列の収束へ言い換える定理の証明。
定理の文字体裁改善。