Formal Conjectures/OEIS

For statistical reasons it is conjectured that the sequence is finite. This is formalized as the assertion that for large enough $n$, no valid zeroless power exists, which in our definition results in $a(n) = 0$.

Exact formalization occurrence from the upstream source collection.