[obm-l] Trigonometria

[Gustavo Simoes Araujo]

Pessoal,

         Por acaso alguém sabe como poderia provar que existe um x tal que a
inequação abaixo é verdadeira, sendo w1/w2 irracional e b um numero real
menor que 4:

cos(w1*x) + cos(w2*x) <= (b-4)/4

Abraços,

-- 
Gustavo Simões Araújo