Thus $ \sin 3x \sin x = -1 $ is achievable (e.g., $ x = rac{3\pi}{2} $). But we want **maximum** of $ \sin 3x \sin x $, not minimum.