monotonically decrease function