If E[Y |X] = 1, show that
Var(X Y) ≥ Var(X)
The inequality follows since for any random variable U, E[U^{2}] ≥(E[U])^{2} and this remains true when conditioning on some other random variable X. Taking expectations of the preceding shows that
E[(XY)^{2}] \geq E[X^{2}]As
E[XY] = E[E[XY |X]] = E[XE[Y |X]] = E[X]
the results follow.