introduce solveInequality()