1: $ is arbitrary this argument proves the convergence of $