Formal target: Corpus.OEIS110854.conjecture

Do the absolute values cover A004275?

Exact formal statement

∀ (d : Nat),
  Or (Eq.{1} d 1) (Even.{0} d) → Exists.{1} fun n => And (GT.gt.{0} n 0) (Eq.{1} d (Corpus.OEIS110854.a n).natAbs)

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

Environment availability: available.

Public accepted solutions (paginated API)

Public JSON record