関数の左極限を単調増大列の収束へ言い換える定理の証明

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