Erdős problem 139
Erdős Problem 139: Let be the size of the largest subset of which does not contain a non-trivial -term arithmetic progression. Prove that .
Erdős Problems records this as proved.
No Repository has ruled on it here.
How far the record reaches4 of 6 stages
- Sourceerdos-problems
- StatementRetained
- Formal1 retained
- Resolutionproved
- 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 it109 share a topic
None carries a Standing. Browse the topic.