Erdős problem 731
Let be the least positive integer not dividing . Erdos asked for the behaviour of for reasonable . Under an explicit dyadic-regularity formalization of reasonable, the distribution is determined on dyadic intervals against the scale with .
Nothing has been recorded here yet.
How far the record reaches2 of 6 stages
- Sourceerdos-problems
- StatementRetained
- FormalNone associated
- ResolutionNone filed
- WorkNone recorded
- DecisionNone here
- The questionNot reached
What this record is missingFormal declaration
No formal declaration is associated with this question.
A formal statement is the first thing a check can run against.
Where the source files it575 share a topic
Erdős problem 321acceptedCarrying a Standing. Browse the topic.