add Gibbs Inequality