This result was first obtained by Paul Erdős, Miklos Horváth, and István Joó around 1990.
Το αποτέλεσμα ήταν το πρώτο που λαμβάνεται από τον Paul Erdős, τον Miklos Horváth και τον István Joó γύρω στο 1990.