Kullback–Leibler divergence
For the classical Kullback–Leibler divergence, it can be shown that