1: $ whenever (\ref{Convergence: Gstar})

2: holds. In addition, $