산술 기하 평균 부등식의 성립 조건이 왜 0이상의 두 실수가 아니라 두 양수인거죠?