[sin(pigreco + pigreco/3) - radical(3) cos(x)] tg(x) >= 0