This result was first obtained by Paul Erdős, Miklos Horváth, and István Joó around 1990.
Hasil ini pertama kali didapatkan oleh Paul Erdős, Miklos Horváth, dan István Joó sekitar tahun 1990.