那个不等式只是根据导函数单调减少得到的一个结论而已

导函数是一个单调递减函数，肯定定义域大的值小。

是根据待证结论来的，你说小于号也没错，但就不能得出结论了。

，

因为a≤b，因此当a=b时ξ1有可能等于ξ2，此时两者相等。