Formal target: Corpus.OEIS103662.conjecture

For statistical reasons it is conjectured that the sequence is finite.

Exact formal statement

Exists.{1} fun N => ∀ (n : Nat), GT.gt.{0} n N → Eq.{1} (Corpus.OEIS103662.a n) 0

This target is a formal statement, not a proof of the problem.

Environment availability: available.