تابع یکنوانزولی

monotonically decreasing function