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!