Erdős problem 125 · problems.science

Case 3: Does $A + B$ have positive upper and lower density that are equal? This is the literal interpretation of "positive density" which was falsified.

Sources

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

6 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

125.lean

Retained formal statement6 of 6

Case 2: Does $A + B$ have zero lower density, but positive upper density?

FormalConjectures/ErdosProblems/125.leanErdos125.erdos_125.variants.zero_lower_positive_upper_density3 linesExact file

1sorry ↔2  ({x | (Nat.digits 3 x).toFinset ⊆ {0, 1}} + {x | (Nat.digits 4 x).toFinset ⊆ {0, 1}}).lowerDensity = 0 ∧3    0 < ({x | (Nat.digits 3 x).toFinset ⊆ {0, 1}} + {x | (Nat.digits 4 x).toFinset ⊆ {0, 1}}).upperDensity

OpenStatement only, no proof

Sources

Search problems.science