sin x = 2-\sqrt{3} cos x > 0