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

strictly decreasing function