Erdős problem 143 · problems.science

Does this imply that $\liminf \frac{|A \cap [1,x]|}{x} = 0?$

Sources

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

2 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

143.lean

Retained formal statement2 of 2

Or $\sum_{x \in A} \frac{1}{x \log x} < \infty,$

FormalConjectures/ErdosProblems/143.leanErdos143.erdos_143.parts.ii1 lineExact file

1∀ (A : Set ℝ), Erdos143.WellSeparatedSet A → Summable fun x => 1 / (↑x * Real.log ↑x)

OpenStatement only, no proof