Erdős problem 40 · problems.science

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$ ?

Sources

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

2 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

40.lean

Retained formal statement1 of 2

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$ ?

FormalConjectures/ErdosProblems/40.leanErdos40.erdos_401 lineExact file

1Erdos40.Erdos40ForSet sorry

OpenStatement only, no proof

Sources

Search problems.science