Formal target: Corpus.OEIS103151.conjecture

Conjecture: all items for $n \ge 4$ are greater than or equal to $1$.

Exact formal statement

∀ (n : Nat), GE.ge.{0} n 4 → GE.ge.{0} (Corpus.OEIS103151.a n) 1

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

Environment availability: available.