Erdős problem 125

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

The source's own material, retained exactly.

6 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

125.lean

Retained formal statement4 of 6

Literature question: Does $A + B$ have positive upper density?

FormalConjectures/ErdosProblems/125.leanErdos125.erdos_125.variants.positive_upper_density1 lineExact file

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

OpenStatement only, no proof