Eventually this gets to , however the left bound means it has to be strictly greater than , so it wouldn't work, but either way the right bound never touches , it only approches it.
Notice that:
So this shows us that the right bound keeps on getting smaller, as the previous iteration's range is larger than the next iteration.