1: $ is in this case the modulus of convergence for the computable approximation $