Let be Independent Random Variables in .
Then

Proof

Data Processing Property of the Mutual Information:

Corollary

Let and be iid.
Then:

Proof

Let be Independent from and .
Then

Also we have so the inequality follows.