Log-sum inequality
= Log-sum inequality
{wiki}
For nonnegative $a_i,b_i$, with $a=\sum_i a_i$ and $b=\sum_i b_i$, the log-sum inequality is
$$
\sum_i a_i\log\frac{a_i}{b_i}\geq a\log\frac ab.
$$
It proves both <Gibbs inequality> and the <data processing inequality for relative entropy>.