In Terence Tao's paper [Exploring the toolkit of Jean Bourgain](https://arxiv.org/pdf/2009.06736.pdf) is stated:


Theorem 3.1 (Furstenberg–Katznelson–Weiss theorem, qualitative version). Let $A\subset\Bbb R^2$ be a measurable set whose upper density $$δ∶=\limsup\_{R→∞}\frac{|A∩\mathrm B(0,R)|}{|\mathrm B(0,R)|}$$is positive. Then there exists $l\_0$ such that, for all $l≥l\_0$, there exist $x, y∈A$ with $|x−y|\geqslant l$.


In this paper, in addition to the usual meaning, $|\centerdot|$ denotes the Lebesgue measure of a subset of $\Bbb R^2$, and I interpret $\mathrm B(0,R)$ as the (open) ball of radius $R$ and centered at the origin in $\Bbb R^2$.


A minor point is that the conclusion of the theorem is trivial unless $l\_0$ is required to be positive. That granted, though, it seems that $l\_0$ is entirely redundant. Thus, why does the last sentence of the theorem not stay simply “Then, for all $l$, there exist $x, y∈A$ with $|x−y|\geqslant l$.”? Moreover, I don't even see the need for $\delta$ to be positive. All that is necessary is for $A$ to be unbounded (e.g. $A=\Bbb N\times\{0\}$), in which case the theorem's conclusion is pretty well tautologous.


I guess that there is a crucial typo somewhere, whose correction would make the theorem nontrivial. But I can't see what that could be.



Why does $l_0$ appear in this statement of the Furstenberg–Katznelson–Weiss theorem?
I looked up [the paper](https://mathscinet.ams.org/mathscinet-getitem?mr=1083601) in which Furstenberg-Katznelson-Weiss proved their result. The correct statement has $|x-y| = \ell$ instead of $|x-y| \geq \ell$.


