The expression ensures that xj has room to move in a direction that will allow us to change the value of yi which currently violates one of its bounds. If xj is unbounded, i.e., has no bounds, then we can obviously choose it and don't have to check the above condition .