When we invoke the square root of 16, we now retain the invariant that x is less or equal than 16 and greater or equal than 2, and this is what we get in the end: x is between 2 and 16, and eps is always 10^-7. 