Or since both of the lengths are always positive, you can take kind of the positive square root and you know you won't have to switch signs there, that the length of any solution to Ax equals b is going to be greater than or equal to the length of r0. 