Claims

../

1972_05_02_szemeredi: Szemerédi's theorem (J. Number Theory, 1976) that two subsets of the first N integers with all cross products distinct have size product below an absolute constant times N squared over log N; refereed and site-credited.

1974_12_01_erdos_szemeredi: Theorem 1 of Erdős and Szemerédi (J. Austral. Math. Soc., 1976), a simpler proof that two subsets of one through x with all cross products distinct have size product below c x squared over log x; refereed, thread-linked.

---