nonincreasing

not defined yet