Kullback–Leibler divergence
with equality when formula_57 following from the properties of Kullback–Leibler divergence.