Gibbs inequality