“…However, for the sake of completeness we prove in this section the convergence of the above described branching procedure, independently of the algorithm employed to evaluate the nodes of the tree, when we remove the node deletion step and, consequently, run the algorithm for an infinite amount of time. As remarked, e.g., in [20,22], in all cases where no global information about the objective function, such as the value of its Lipschitz constant, is available, the only way to ensure that a GO method is convergent is that the set of points at which the function is observed is dense within the feasible region. In the branching procedure described above this can be guaranteed if the branching mechanism is exhaustive, i.e., each nested sequence of subdomains in F converges to a single point if the algorithm is never stopped (see, e.g., [11]).…”