>>876
f(x_0)＜g(x_0)　をx_0とaに関する不等式として書き直すこともしていないのに違いない。