>>350
2cos^3(x)-cos(x)≧(3x-8x^3)/(3*sin(x))として考える。
左辺の絶対値は常に1以下。右辺は|x|≧1のとき1より
大きいので、以下|x|＜1の範囲で考える。
(左辺)-(右辺)
={sin(4x)/4-(3x-8x^3)}/sin(x)
分子についてsin(4x)をx=0の周りで3次までテーラー
展開してから分子を計算すると、剰余項R_4だけが
残るので、R_4とsin(x)が|x|≦1で同符号であることを
示せば(左辺)-(右辺)≧0が示される。