Skip to content

Erdős problem 40

For what functions g(N)g(N) → \infty is it true that A{1,,N}N1/2g(N)\lvert A\cap \{1,\ldots,N\}\rvert \gg \frac{N^{1/2}}{g(N)} implies lim sup1A1A(n)=\limsup 1_A\ast 1_A(n)=\infty?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/40.lean

Formal Conjectures

FormalConjectures/ErdosProblems/40.leanErdos40.erdos_401 lineExact file
Erdos40.Erdos40ForSet sorry
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page