positive-deriv-nomonotone