Erdős problem 337 · problems.science

Let $A\subseteq \mathbb{N}$ be an additive basis (of any finite order) such that $\lvert A\cap \{1,\ldots,N\}\rvert=o(N)$ . Is it true that $\lim_{N\to \infty}\frac{\lvert (A+A)\cap \{1,\ldots,N\}\rvert} {\lvert A\cap \{1,\ldots,N\}\rvert}=\infty?$

Sources

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

4 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

337.lean

Retained formal statement4 of 4

Ruzsa and Turjányi do prove (under the same hypotheses) that $\lim_{N\to \infty}\frac{\lvert (A+A+A)\cap \{1,\ldots,3N\}\rvert} {\lvert A\cap \{1,\ldots,N\}\rvert}=\infty,$

FormalConjectures/ErdosProblems/337.leanErdos337.erdos_337.variants.three_fold5 linesExact file

1∀ (A : Set ℕ),2  A.IsAsymptoticAddBasis →3    ((fun N => ↑(A ∩ Set.Icc 1 N).ncard) =o[Filter.atTop] fun N => ↑N) →4      Filter.Tendsto (fun N => ↑((A + A + A) ∩ Set.Icc 1 (3 * N)).ncard / ↑(A ∩ Set.Icc 1 N).ncard) Filter.atTop5        Filter.atTop

SolvedStatement only, no proof

Sources

Search problems.science