単調増加関数の左極限の存在の十分条件

単調増加関数の左極限の存在の十分条件の証明。
大枠のリフォーム。