non increasing monotonic function