But where: $ f(x) = 1 - \sin 3x \sin x $, so minimum of $ f $ is when $ \sin 3x \sin x $ is **maximized**, which is $ rac916 $, so: - Portal da Acústica