Formal target: Corpus.OEIS130911.conjecture

Shevelev conjectures that $a(n) \ge 0$ for $n > 3$.

Exact formal statement

∀ (n : Nat), LT.lt.{0} 3 n → GE.ge.{0} (Corpus.OEIS130911.a n) 0

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

Environment availability: available.