The following lemma, crucial to Theorem 2, is also implicit in [4].

The constants implicit in the symbol ≈ depend on r.