Erdős problem 40

For what functions $g(N) → \infty$ is it true that $\lvert A\cap \{1,\ldots,N\}\rvert \gg \frac{N^{1/2}}{g(N)}$ implies $\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.

FormalConjectures/ErdosProblems/40.lean

Formal Conjectures

FormalConjectures/ErdosProblems/40.leanErdos40.erdos_401 lineExact file

1Erdos40.Erdos40ForSet sorry

OpenStatement only, no proof