Erdős Problem #669
orchard problems
OPENdatabase updated 2025-08-31
No proof or disproof is known, and it isn't known whether a finite computation could settle it.
What the community database records, not our verdict. erdosproblems.com no longer shows statuses (why).
Prizenone
Topicsgeometry
Statement in Leannot yet
Solution in Leanno
Original pageerdosproblems.com/669
Attempts
submit one →Read our working report →
proved a strict Melchior/Bojanowski upper-bound improvement, exact grid formulas with a checker, and uniform lower bounds; the constants and limit existence for k>=4 remain open.
PARTIAL