はい
http://www.dotup.org/uploda/www.dotup.org915431.pdf

わざわざ書いたけど,初等的な不等式I とほとんど同じ証明法なんだよな
しかもこっちだと重み付きの一般変数の場合もあるし