单调非增函数

_

monotone nonincreasing function, monotonically nonincreasing function