For statistical reasons it is conjectured that the sequence is finite. This is formalized as the assertion that for large enough , no valid zeroless power exists, which in our definition results in .
Exact formalization occurrence from the upstream source collection.
- Source category
- research open
- Formal proof
- Not retained
- Vela current state
- No Repository Result attached
Results and checks
No Vela Result is attached
The exact declaration is source-categorized research open. A GitHub merge, Lean build, or advisory review does not become a Vela Result or scientific decision by itself.
Add a Result