1: $,  which with \reff{equ:theorem:convergence:a2} implies that for all $