Let us consider a probability space , i.e.,
is a measurable space together with
. We assume further that
are such that
. Then we conclude that
.
Indeed, since then
. We write
in the following way
.
We then see that since
. Similarly,
. Hence,
.