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

2: and $