ギブスの不等式
ギブスの不等式(ぎぶすのふとうしき、英: Gibbs' inequality)とは、情報理論における離散確率分布のエントロピーに関する式である。確率分布のエントロピーに関しては、ギブスの不等式を出発点としていくつかの式が考案されており、ファーノの不等式などがある。
この不等式は19世紀にウィラード・ギブスが最初に提示した。