1: $. 

2: We begin by proving the convergence in \eqref{eq:AsyDist_ATE1}, uniformly in $