Suppose
and let
where
Proof
Let
and let
Now use Data Processing Property of the Relative Entropy to find:
where
Corollary
If
for all
Proof
Apply Pinsker’s Inequality.
Corollary
where the supremum is taken over all
Suppose
and let
where
Let
and let
Now use Data Processing Property of the Relative Entropy to find:
where
If
for all
Apply Pinsker’s Inequality.
where the supremum is taken over all