unincreasing

not defined yet