Wait — we want to **minimize** $ f(x) = 1 - \sin 3x \sin x $, so we want the **maximum** of $ \sin 3x \sin x $.