Para números reales $a,b,c,d$ no todos iguales a $0$, defina una función real $f(x) = a +b\cos{2x} + c\sin{5x} +d \cos{8x}$. Suponga que $f(t) = 4a$ para algún real $t$. Demuestre que existe un número real $s$ s.t. $f(s)<0$