Lemma 6.4.
Assuming that:
X
,
Y
are
G
-valued random variables
Then
H
[
X
+
Y
]
≥
max
{
H
[
X
]
,
H
[
Y
]
}
−
I
[
X
:
Y
]
.