对sinx/x求导，得(cosx*x-sinx)/x^2看分子部分，因为x-tanx定义域内是减函数，（也可以继续求导，从而确定在定义域内为减函数）所以x变化为cosx*x原函数sinx/x定义域内为减函数，又x<π/2所以原函数大于当x=π/2的值即结论
