Formal target: Corpus.OEIS108569.conjecture

Conjecture: Except for the first term all terms are even.

Exact formal statement

∀ (n : Nat), LT.lt.{0} 0 n → Even.{0} (Corpus.OEIS108569.a n)

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

Environment availability: available.