Erdős problem 124
Let and be integers of gcd equal to such that Can all sufficiently large integers be written as a sum of the shape where and is divisible by and has only the digits when written in base ?
Sources
FormalConjectures/ErdosProblems/
124.lean
Retained formal statement
All sufficiently large integers can be written as , where , , and are divisible by , , and respectively, and after division by that base have only the digits in that base.
Proved by Burr, Erdős, Graham, and Li [BEGL96]
∀ᶠ (n : ℕ) in Filter.atTop, n ∈ Erdos124.sumsOfDistinctPowers 3 1 + Erdos124.sumsOfDistinctPowers 4 1 + Erdos124.sumsOfDistinctPowers 7 1SolvedStatement only, no proof