>>573
f(x) が狭義単調減少 ⇔ f'(x) < 0

g(x) = f(x)+x とおくと
g'(x) = f'(x) + 1 > 0 だから
g(x) は狭義単調増加関数で a< bならば
g(a) < g(b)