Entropic Ruzsa triangle inequality (source code)

= Entropic Ruzsa triangle inequality
{c}

The entropic Ruzsa distance satisfies
$$
d_R(X,Z)\leq d_R(X,Y)+d_R(Y,Z).
$$
For independent representatives this is equivalent to
$$
H(X-Z)+H(Y)\leq H(X-Y)+H(Y-Z).
$$