单调非增函数

• decreasing function
• monotone nonincreasing function
• monotonically nonincreasing function