Skip to content

Erdős problem 785

Let A,BNA,B\subseteq \mathbb{N} be infinite sets such that A+BA+B contains all large integers. Let A(x)=A[1,x]A(x)=\lvert A\cap [1,x]\rvert and similarly for B(x)B(x). Is it true that if A(x)B(x)xA(x)B(x)\sim x then A(x)B(x)xA(x)B(x)-x\to \infty as xx\to \infty?

Sources

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

10 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

785.lean

Retained formal statement9 of 10

Ruzsa [Ru17] has constructed, for any function w(x)w(x)\to \infty, such a pair of sets with A(x)B(x)x<w(x)A(x)B(x)-x<w(x) for infinitely many xx.

FormalConjectures/ErdosProblems/785.leanErdos785.erdos_785.variants.ruzsa_upper_bound7 linesExact file
∀ (w : ℕ → ℝ),  Filter.Tendsto w Filter.atTop Filter.atTopA B,      A.Infinite        B.Infinite          Erdos785.IsExactAdditiveComplement A B            ∃ᶠ (x : ℕ) in Filter.atTop, ↑(Erdos785.counting A x) * ↑(Erdos785.counting B x) - ↑x < w x
SolvedStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page