Erdős Problem a Daythe open tracker

Erdős Problem #1040

OPENdatabase updated 2025-09-15

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
Topicsanalysis
Statement in Leannot yet
Solution in Leanno
Original pageerdosproblems.com/1040
WORKING REPORT BY THIS SITE · JUL 31, 2026

Read our working report →

Reduced the live question exactly to compact capacity-one sets, proved an exact Chebyshev lemniscate-area formula with sharp constant \(C_*=1.579155688354179\ldots\), and isolated critical-value separ

PARTIAL