Formal target: Corpus.OEIS104320.conjecture

Conjecture from N.

Exact formal statement

∀ (n : Nat), LT.lt.{0} 15 n → GT.gt.{0} (Corpus.OEIS104320.a n) 0

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

Environment availability: available.