7cf3da36e2f206a26d81f6e44f857d6e89

마지막 부등식 부분에서 왜 1/2Ixo - yI가 앞에 식보다 작거나 같을 수 있는거임? 어떻게 도출되는건지 모르겠네