0≤x<(π/2),2*(cos(4*x)-1)*cos(x)-3*(cos(3*x)+cos(x))>0