Formal target: Corpus.OEIS76141.conjecture
Is $a(n) \le 1$ for all $n$?
Exact formal statement
∀ (n : Nat), LE.le.{0} (Corpus.OEIS76141.a n) 1This target is a formal statement, not a proof of the problem.
Environment availability: available.
Is $a(n) \le 1$ for all $n$?
∀ (n : Nat), LE.le.{0} (Corpus.OEIS76141.a n) 1This target is a formal statement, not a proof of the problem.
Environment availability: available.