Solving nonlinear inequalities in a finite number of iterations