f(t) = 32t^3 - sin4t + (3/2)sin6t = 0
の解が0以外にないことを示したいんですけど、

Df(t)=96t^2 - 4cos4t + 9cos6t
が0にならない（常に正）であることが
示せません。

示し方をお教えくださると嬉しいです。
お願いいたします。