Formal target: Corpus.OEIS69004.conjecture1

Conjecture: $a(n) > 0$ for all $n > 1$.

Exact formal statement

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

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

Environment availability: available.