Erdős problem 153
Let be a finite Sidon set and . Is it true that as ?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/153.leanTrue ↔ Filter.Tendsto Erdos153.f Filter.atTop Filter.atTopOpenStatement only, no proof