Skip to content

Erdős problem 326

Does there exist A={a1<a2<}NA=\{a_1<a_2<\cdots\}\subset \mathbb{N} which is a minimal basis of order 22 (every large integer is the sum of 22 elements from AA, and no proper subset of AA has this property) such that limkak/k2=c\lim_{k\to \infty}a_k/k^2=c for some c0c\neq 0? A claimed construction gives a minimal basis with A(x)=Cx+O(1)A(x)=C\sqrt{x}+O(1), answering the question affirmatively; Erdős and Graham had conjectured a negative answer.

Sources

Browse retained paths and inspect the exact material available for this Problem.

3 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

326.lean

Retained formal statement2 of 2

Erdős originally asked whether this was true with A = B, but this was disproved by Cassels.

FormalConjectures/ErdosProblems/326.leanErdos326.erdos_326.variants.eq3 linesExact file
a,  ∃ (_ : StrictMono a) (_ : (Set.range a).IsAddBasisOfOrder 2),x, ∃ (_ : 0 < x), Filter.Tendsto (fun n => ↑(a n) / ↑n ^ 2) Filter.atTop (nhds x)
SolvedStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page