Formal target: Corpus.OEIS80326.conjecture

Conjecture: $a(n) = \text{primorial}(n)$ for infinitely many $n$.

Exact formal statement

Set.Infinite.{0} (Set.ofPred.{0} fun n => Eq.{1} (Corpus.OEIS80326.a n) (primorial n))

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

Environment availability: available.

Public accepted solutions (paginated API)

Public JSON record