Erdős problem 1039
For with all , let be the radius of the largest disc contained in . Is ? The worst case is now known to be , with the explicit bound .
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 it78 share a topic
None carries a Standing. Browse the topic.