Redirecting to Gibbs' inequality