Erdős problem 176
Let be the least such that every has a -term arithmetic progression with . In particular, is ?
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 it123 share a topic
None carries a Standing. Browse the topic.