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 \).
