[davidschultz]

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