Erdős problem 1201
Is it true that for every there exists a such that the density of for which is at least , where is the greatest prime divisor of ? A short argument via the Matomäki-Radziwiłł theorem establishes the lower-density version.
Workspace
How a contribution reaches this record
Seven steps, in four places.
Read the sources and their formal declarations.
PublicWork on it, wherever you work.
Your machineKeep an Approach and its Attempts here.
Needs an accountAttach evidence by its content root.
Needs an accountPrepare an unsigned Submission draft.
Needs an accountSign it with your own key.
Your machineThe Repository decides.
The Repository
Reported activity
Reported by these sources. Not reviewed here.
AI collaborating with humans
- Machine
- People
argument
- Machine
- People
- Reported outcome