Estoy teniendo problemas con este problema.
Quiero empezar por bucear por 2, de modo que el lado derecho de la desigualdad es raíz3 / 2 A partir de ahí, utilizar la identidad trigonométrica de:
sin(A - B) = sinAcosB - cosAsinB
para conseguirlo eventualmente:
-sin(t) < raíz3/2
Pero no estoy seguro de que deba serlo:
-2sin(t) < raíz3