strictly monotone decreasing function