The board / irrationality / #265
Erdős Problem #265
ambiguous statement
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
Topicsirrationality
Statement in Leannot yet
Solution in Leanno
Original pageerdosproblems.com/265
Attempts
submit one →Read our working report →
proved simultaneous rationality with the sharper endpoint growth \(\liminf a_n^{1/(\sqrt{3/2})^n}>1\), exact target sums, a standalone checker, and a \(\sqrt{5/3}\) counting ceiling for the fixed-wind
PARTIAL