여상진 연대 기출 책보면서 공부하는데 1번에 왜y>=-1/루트3x임? y>=-루트3x가 맞는거 아님?