Erdős problem 56
Suppose is such that there are no elements of which are relatively prime. An example is the set of all multiples of the first primes. Is this the largest such set? To avoid trivial counterexamples, we must insist that be at least the th prime.
Erdős Problems records this as disproved (Lean).
No Repository has ruled on it here.
How far the record reaches4 of 6 stages
- Sourceerdos-problems
- StatementRetained
- Formal11 retained
- Resolutiondisproved (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 it577 share a topic
Erdős problem 321acceptedCarrying a Standing. Browse the topic.