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

《関数の右極限》を《単調減少列の収束》へ言い換える定理の証明 。
《関数の右極限》の《 単調減少列の収束》への言い換え から項目を移管。