Erdős problem 66 · problems.science

Is there and $A \subset \mathbb{N}$ is such that $\lim_{n\to \infty}\frac{1_A\ast 1_A(n)}{\log n}$ exists and is $\ne 0$ ?

Sources

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

1 retained statement2415f78e850a

FormalConjectures/ErdosProblems/

66.lean

Retained formal statement1 of 1

Is there and $A \subset \mathbb{N}$ is such that $\lim_{n\to \infty}\frac{1_A\ast 1_A(n)}{\log n}$ exists and is $\ne 0$ ?

FormalConjectures/ErdosProblems/66.leanErdos66.erdos_661 lineExact file

1True ↔ ∃ A c, c ≠ 0 ∧ Filter.Tendsto (fun n => ↑(AdditiveCombinatorics.sumRep A n) / Real.log ↑n) Filter.atTop (nhds c)

OpenStatement only, no proof