Formal target: Corpus.OEIS71524.conjecture1

Conjecture: $a(n) = 0$ for no $n > 28$.

Exact formal statement

∀ (n : Nat), LT.lt.{0} 28 n → Ne.{1} (Corpus.OEIS71524.a n) 0

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

Environment availability: available.