OP' 이 (f',g')이고 PR이 내적 값 0이니까 PR 실수배(-g',f') PR은 OP+PR인데 OP^2은 양수이고 g'f-f'g가 음수인것만 보이면 됨 fg=1이니까 g/f=1/f^2, f는 양수고 증가 함수니까 1/f^2은 감소 함수고 g/f 미분도 음수임 따라서 모든 항이 양수라 양수. 여기 올라온 풀이 틀린거 같아서 써봄. 폰이라 풀이 개퀄인건 양해좀