Status
On this page
Status
Topics
Status
On this page
Status
Topics
Let be an infinite sequence of positive integers such that converges. There exists some integer such that
is irrational.
Source: erdosproblems.com/266
An accepted solution exists. The statement is false.
Disproved: Kovač and Tao's 2024 construction of a sequence whose shifted reciprocal sums are rational for every rational shift is recorded on its claim page (Kovač and Tao, 2024). The site (page last edited 2025-09-28) labels the problem DISPROVED (LEAN) and credits them with the negative answer; the Lean proof behind the label is a public formalization of their argument linked from the claim page, not built or audited in this corpus.