Separated reciprocal-distance sum
ID: separated-reciprocal-distance-sum
If finitely many points on are pairwise separated by distance modulo one at least , then the displayed bound holds for . An arc of length contains at most points. First sum over , then over the dyadic annuli . Their contributions are and , respectively. Summing proves the estimate. A point at zero contributes , using the convention .
New to topics? Read the docs here!