Claims

../

1966_01_01_kesten: Kesten's 1966 Theorem 4: an interval has bounded discrepancy along the multiples of an irrational alpha exactly when its length is a fractional multiple of alpha, which proves the corrected Statement.

2026_08_17_alexeev: Answers the site's wording (both endpoints on the orbit of alpha), not the corrected Statement (the length on the orbit), so it does not count toward the problem's standing. A Lean theorem in Alexeev's repository refutes that wording with alpha the square root of two over ten and the interval of length alpha starting at 1/4.

---