5# 枯荣

枯荣：
你的方法我明白了，比如当x属于（0，1），可直接去掉绝对值符号，也就变成了求证sin x - x 小于等于0，对于新函数sin x - x求导之后是cos x - 1 这个函数在（0，1）始终小于等于0，亦即是单调递减，从而在0处取最大值为0，也就是sin x - x的最大值为当x取0,也就是它在自变量取值范围内小于0，从而最终sin x  小于等于x
反之，x去（-1，0）亦可证。

6# 行者2017

你说的我似乎有点明白，但是直观上感觉是对的，能具体的说明一下吗？