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}\mathrm{tg}\left(\frac{\pi }{2}-x\right)-\sqrt{3}\left({\cos }^2\frac{x}{2}-\frac{1}{2}\right)\sec (x)\ge 0$$