See [url=https://www.erdosproblems.com/go_to/503]https://www.erdosproblems.com/go_to/503[/url] for a summary.