$$
\newcommand{\inner}[2]{\langle #1, #2 \rangle}
\newcommand{\matr}[1]{\boldsymbol{#1}}
\newcommand{\pdif}[2]{\frac{\partial #1}{\partial #2}}
\newcommand{\pdifn}[3]{\frac{\partial^{#1} #2}{\partial #3^{#1}}}
\newcommand{\dif}[2]{\frac{d #1}{d #2}}
\newcommand{\bracket}[1]{\left\langle #1 \right\rangle}
$$
のとき,
.
証明
Hölderの不等式で
とすると,
とできるので,
両辺を
乗すると,