1: $, 

2:  then the following convergence bound holds on the saddle point residual of $