>>875
ｇ（ｘ）＝ｆ（ｘ）−Ｌ（ｘ）とおくと
ｌｉｍｓｕｐ＿｛ｙ−＞ｘ｝（（ｇ（ｙ）−ｇ（ｘ））／（ｙ−ｘ））≦０なので
ａ＜ｘ≦ｙ＜ｂのときｇ（ｘ）≧ｇ（ｙ）。