1:
f
is decreasing.