1: $.

2: By Proposition~\ref{prop:convergence-to-fixpoint},

3:   we have that $