1: $ is  by eqn.(\ref{life.fixed.point.convergence.e3}a).

2: Thus,  $