فرض کنید تابع f در یک فاصله، اکیداً صعودی باشد و a و b متعلق به این فاصله باشند. اگر f(a)≤f(b)، نشان دهید a≤b.