Difference-set overlap bound on an interval

ID: difference-set-overlap-bound-on-an-interval

If a measurable set has measure , then for the sets and lie in an interval of length , so
Thus . This quantitative overlap argument is a bounded form of the Steinhaus theorem.

New to topics? Read the docs here!