カルバック・ライブラー情報量
This fundamental inequality states that the Kullback–Leibler divergence is non-negative.