>>557
Herderの不等式は1/p + 1/q = 1 をみたす実数 p,q>0 だから大丈夫。
ただし、以下のP.310の解２のやり方では、pが正整数の場合の証明にしかなってない。
http://izumi-math.jp/I_Yanagita/emath_ver1.1ps.pdf