우선, 일반화된 n차 평균은 다음과 같이 정의할 수 있다.


그러니까 n=1이면 평균(산술평균)이고 n=-1이면 조화평균이고 n=2면 전기 쪽에서 많이 쓰는 rms(root-mean-square)다.

이걸 가지고 미친 짓을 할 거다.


양의 실수 a >= b에 대해 함수 f(n)을 다음과 같이 정의하자.


그러면 이 f가 n != 0에서 증가함수라는 것을 쉽게(?) 알 수 있다.

그 과정을 설명하자면,


사실 젠센 쓸 것도 없기는 하지만... 그리고 0 앞에 >가 아니라 ≥인데 잘못 씀



그런데, 재미있는 사실은