MathNet 1987 — Part 01 Question 42

Show that there is a real number $x$ such that all of $\cos x$, $\cos 2x$, $\cos 4x$, $\ldots$, $\cos (2^{n}x)$ are negative.