Erdős problem 281
Let be an infinite sequence such that, for any choice of congruence classes , the set of integers not satisfying any of the congruences has density . Is it true that for every there exists some such that, for every choice of congruence classes , the density of integers not satisfying any of the congruences for is less than ?
Erdős Problems records this as proved (Lean).
No Repository has ruled on it here.
How far the record reaches4 of 6 stages
- Sourceerdos-problems
- StatementRetained
- Formal1 retained
- Resolutionproved (Lean)
- WorkNone recorded
- DecisionNone here
- The questionNot reached
What this record is missingWork
Nothing here has checked that finding.
Reproducing it here turns a report into evidence.
Where the source files it579 share a topic
Erdős problem 321acceptedCarrying a Standing. Browse the topic.