1: $

2: we have the following exponential convergence guarantee in $