Claims

../

1983_09_01_szemeredi_trotter: Szemerédi and Trotter bound the number of distinct sequences of line sizes realizable by n points in the plane by exp of order root n, which gives the bound Erdős asked for; refereed, and credited by the site as the proof.

---