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

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