Both and satisfy the inequality.