Formal target: Corpus.OEIS110566.conjecture

It is conjectured that every odd number occurs in this sequence.

Exact formal statement

∀ (m : Nat), Odd.{0} m → Exists.{1} fun n => And (GT.gt.{0} n 0) (Eq.{1} (Corpus.OEIS110566.a n) m)

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

Environment availability: available.

Public accepted solutions (paginated API)

Public JSON record