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 ?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/124.lean∀ {D : Finset ℕ}, (∀ d ∈ D, 3 ≤ d) → (∀ᶠ (n : ℕ) in Filter.atTop, n ∈ ∑ d ∈ D, Erdos124.sumsOfDistinctPowers d 0) → 1 ≤ ∑ d ∈ D, (↑d - 1)⁻¹Proof manifests naming this Problem
- PLBY Lean proofs
ErdosProblems.Erdos124b
Reported activity
Work these sources record against this Problem. Source-reported attribution, not reviewed here.
AI standalone
- Machine