monotone decreasing function

[ریاضیات] تابع ناصعودی، تابع یکنوای نزولی