Formal target: Corpus.OEIS160324.conjecture1

In April 2009, _Zhi-Wei Sun_ conjectured that $a(n) > 0$ for every $n = 0, 1, 2, 3, \dots$.

Exact formal statement

∀ (n : Nat), LT.lt.{0} 0 (Corpus.OEIS160324.a n)

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

Environment availability: available.