MathDB
ASU 311 All Soviet Union MO 1981 acos(x)+b cos(3x)<=1 =>|b|\le 1

Source:

July 23, 2019
inequalitiestrigonometryalgebra

Problem Statement

It is known about real aa and bb that the inequality acosx+bcos(3x)>1a \cos x + b \cos (3x) > 1 has no real solutions. Prove that b1|b|\le 1.