A classical theorem by Block and Levin (Block, H. D., S. A. Levin. 1970. On the boundedness of an iterative procedure for solving a system of linear inequalities. Proc. Amer. Math. Soc. 26 229-235) ...

The inequality will be solved when \({m}\) is isolated on one side of the inequality. This can be done by using inverse operations on each stage of the sum. The final answer is ...