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