2cosx^3-cosx>=(3x-8x^3)/3sinx を証明せよ

微分の範囲での問題なんで、微分してみたんですが無茶苦茶な数に。。

お願いします