Let $\left( X _ { i } \right) _ { i \in \mathbf { N } }$ be a sequence of independent random variables all following a Rademacher distribution. Show that the map $\varphi$ defined on $\left( L ^ { 0 } ( \Omega ) \right) ^ { 2 }$ by
$$\forall X , Y \in L ^ { 0 } ( \Omega ) , \quad \varphi ( X , Y ) = \mathbf { E } ( X Y )$$
is an inner product on $L ^ { 0 } ( \Omega )$.