Given what has been said in the section on shrinking,
if we can always have (29) and
(30) during the resolution of a subproblem,
a reasonable termination criterion is to verify that the
estimated by (31) and (32)
verifies the conditions (24)-(28) with a given
precision
.
Thus, we simply verify that