对于任意实数x,恒有sinx<x成立
出自:河南城建学院高等数学 C