Tensorization lower bound for relative entropy (source code)

= Tensorization lower bound for relative entropy

For a product reference $P=\bigotimes_iP_i$ and arbitrary $Q$,
$$
D(Q\Vert P)\geq\sum_iD(Q_i\Vert P_i).
$$
It follows from the <chain rule for relative entropy> and convexity of relative entropy in its first argument.