satisfies the inequality, but does not.