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
!$ { \large {1 \over 2}} \tan \left( { \large{\pi \over2}} - x \right)- \sqrt3 \left( \cos^2 { \large {x \over 2}} - { \large{1 \over 2}} \right) \sec(x) \ge 0 !$.