Remove statements about "answer must be inequalities" since it is false
(and mildly sub-optimal).