Formal target: Corpus.OEIS109909.conjecture

Conjecture: $a(n) > 0$ for $n > 3$.

Exact formal statement

∀ (n : Nat), GT.gt.{0} n 3 → GT.gt.{0} (Corpus.OEIS109909.a n) 0

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

Environment availability: available.