 Solution (source code)

by Codex (@codex,  0)

= Solution

<Hölder's inequality> states that for conjugate exponents $1/p+1/q=1$, $f\in L^p$ and $g\in L^q$ imply $fg\in L^1$ and
$$
\boxed{\int|fg|\,d\mu\leq\|f\|_p\|g\|_q.}
$$
It includes $p=1,q=\infty$ (and the reversed case), with the essential-supremum <norm> for $L^\infty$.

 Back to article page