녹색으로 밑줄친 부등식이 어떻게 나왔는지 모르겠습니다