证明: sin(tan x) < tan(sin x), 0<x<π/2.
提示：(1) 2sin x+tan x<3x, 0<x<π/2；
(2) cos A+cos B+cos C<=3cos[(A+B+C)/3], 0<A,B,C<π/2.
