Thus $ \sin 3x \sin x = -1 $ is achievable (e.g., $ x = rac3\pi2 $). But we want **maximum** of $ \sin 3x \sin x $, not minimum.