In 1935, Erd\H{ o}s and Szekeres proved that every set of $n$ points in general position in the plane contains the vertices of a convex polygon of $\frac{ 1}{ 2}\log_2(n)$ vertices. In 1961, they constructed, for every positive integer $t$, a set of $n:=2^{ t-2}$ points in general position in the plane, such that every convex polygon with vertices in this set has at most $\log_2(n)+1$ vertices. In this paper we show how to realize their construction in an integer grid of size $O(n^2 \log_2(n)^3)$.
Categories: math.CO