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