solving an inequality