nonincreasing function vs higher-order derivative