nonincreasing function vs nondecreasing sequence