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$.

History

1. Source revision33c6a2dcafc5

   Declaration retained in the published subset

   OeisA103662.conjecture binds its category, docstring, Lean signature, source path, rights basis, and exact file root together.

2. Earlier rename history

   No earlier declaration alias, split, merge, or supersession is asserted by this retained snapshot.