ITA 2007 — Questão 13

Seja $x$ um número real no intervalo $0 < x < \pi/2$. Assinale a opção que indica o comprimento do menor intervalo que contém todas as soluções da desigualdade

$\frac{1}{2}\operatorname{tg}\left(\frac{\pi}{2} - x\right) - \sqrt{3}\left(\cos^2\frac{x}{2} - \frac{1}{2}\right)\sec(x) \geq 0.$