Comment by davidschultz

For feedback, you could try asking here: https://www.erdosproblems.com/961