単調減少関数の左極限の存在の十分条件

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