Just as we proved that the supremum is unique, one can also show that the infimum is unique. |
|
To ensure nondecreasing lower bounds, the hyper-rectangle to be bisected is chosen by selecting the region which contains the infimum of the minima of lower bounds. |
|
If it is infinite, this property implies another kind of convergence: all the configurations reachable from two given configurations are reachable from their infimum. |
|