Problem

Source: Croatia 1997 Grade 3 P2

Tags: trigonometry, algebra



Prove that for every real number $x$ and positive integer $n$ $$|\cos x|+|\cos2x|+|\cos2^2x|+\ldots+|\cos2^nx|\ge\frac n{2\sqrt2}.$$