f(x)在[a,b]上二阶可导且不为常数函数,并说明右端常数4是最佳估计