So maximum of $ \sin 3x \sin x $ is $ rac916 $, thus minimum of $ f(x) = 1 - rac916 = rac716 $? But wait — this contradicts earlier thought. - Portal da Acústica