Skip to content

Erdős problem 899

Let ANA\subseteq\mathbb{N} be an infinite set such that A{1,...,N}=o(N)|A\cap \{1, ..., N\}| = o(N). Is it true that lim supN(AA){1,...,N}A{1,...,N}=? \limsup_{N\to\infty}\frac{|(A - A)\cap \{1, ..., N\}|}{|A \cap \{1, ..., N\}|} = \infty?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/899.lean

Formal Conjectures

FormalConjectures/ErdosProblems/899.leanErdos899.erdos_8995 linesExact file
True  ∀ (A : Set ℕ),    A.Infinite      Filter.Tendsto (fun N => ↑(ASet.Icc 1 N).ncard / ↑N) Filter.atTop (nhds 0) →        Filter.limsup (fun N => ↑((A - A) ∩ Set.Icc 1 N).ncard / ↑(ASet.Icc 1 N).ncard) Filter.atTop = ⊤
SolvedStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page