Školjka

%V0 Dokažite da za svaki realan broj $x$ i svaki prirodan broj $n$ vrijedi nejednakost $$|\cos x| + |\cos 2x| + |\cos 2^2x| + \dots + |\cos 2^nx| \geq \frac{n}{2\sqrt{2}} \text{.}$$