Erdős problem 1148
Can every large integer be written as with ?
Sources
FormalConjectures/ErdosProblems/
1148.lean
Retained formal statement
The integer cannot be written as with .
¬Erdos1148.Erdos1148Prop 6563TextbookStatement only, no proof
Erdős problem 1148
The source's own material, retained exactly.
3 retained statements · 36c6d0fef71a
Open selected sourceFormalConjectures/ErdosProblems/
1148.lean
The integer cannot be written as with .
1¬Erdos1148.Erdos1148Prop 6563