1: $ is by \eref{life.fixed.point.convergence.e2},

2: \ $