The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Hölder inequality
For , the conjugate index to is the with
Lemma
Let be conjugate and . Then .
Proof
WLOG . Put .
So need to show that .
Take and then it’s immediate from concavity of .