Školjka

Odredi sve realne brojeve $a$ takve da nejednakost \[ \cos (2x) + 2a\cos x + 7 \geq 0 \] vrijedi za sve realne brojeve $x$.