Since
distance decreases with each step and the surface is bounded below by zero,
our iteration is guaranteed to converge to at least a local minimum of the
distance function over FxG.