sqrt{3 - 4cos^2(11pi/6)} > 1 + 3sen(11pi/6)