Este resultado fue obtenido por vez primera por Paul Erdős, Miklos Horváth e István Joó alrededor de 1990.