解cos(π/4-3x)≤根号3/2