1: $ given in Lemma \ref{convergence_negative_real}, then 

2: $