On a le droit de manier des inégalités avec l'infini aussi simplement ?
Sinon on pourrait étudier la fonction. On montre qu'elle est croissante sur ]-Pi/2;0[, décroissante sur ]0;Pi/2[. Comme f(x) strictement négatif, la limite est soit négative, soit -oo.
Ca ne peut être -oo vu qu'elle est croissante puis décroissante (là encore je ne suis pas sûr de la rigueur), donc elle est réelle.
V'la le bordel pour une petite limite comme ça...