Formal target: Corpus.OEIS91591.conjecture

It is conjectured that $a(n)>0$ for all $n>122$.

Exact formal statement

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

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

Environment availability: available.