تابع ناصعودی

non-increasing function