Definition 12.1.3 (Hölder conjugates). Let $p, q \in (1, \infty)$, then $p$ and $q$ are Hölder conjugates if