Kullback–Leibler divergence
This fundamental inequality states that the Kullback–Leibler divergence is non-negative.