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