Formal target: Corpus.OEIS24356.conjecture

"I conjecture that $a(4)$ is the only zero.

Exact formal statement

∀ (n : Nat), Eq.{1} (Corpus.OEIS24356.a n) 0 → Eq.{1} n 4

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

Environment availability: available.