Let $p , q \in ] 1 , + \infty [$ such that $\frac { 1 } { p } + \frac { 1 } { q } = 1$. Let $X , Y \in L ^ { 0 } ( \Omega )$ which we assume are both non-negative. Deduce the following inequality (Hölder's inequality): $$\mathbf { E } ( X Y ) \leq \left( \mathrm { E } \left( X ^ { p } \right) \right) ^ { 1 / p } \left( \mathrm { E } \left( Y ^ { q } \right) \right) ^ { 1 / q } .$$ You may begin by treating the case where $\mathbf { E } \left( X ^ { p } \right) = \mathbf { E } \left( Y ^ { q } \right) = 1$.
Let $p , q \in ] 1 , + \infty [$ such that $\frac { 1 } { p } + \frac { 1 } { q } = 1$. Let $X , Y \in L ^ { 0 } ( \Omega )$ which we assume are both non-negative. Deduce the following inequality (Hölder's inequality):
$$\mathbf { E } ( X Y ) \leq \left( \mathrm { E } \left( X ^ { p } \right) \right) ^ { 1 / p } \left( \mathrm { E } \left( Y ^ { q } \right) \right) ^ { 1 / q } .$$
You may begin by treating the case where $\mathbf { E } \left( X ^ { p } \right) = \mathbf { E } \left( Y ^ { q } \right) = 1$.