Formal target: Corpus.OEIS109845.conjecture

Conjecture: There are infinitely many primes in this sequence.

Exact formal statement

Set.Infinite.{0} (Set.ofPred.{0} fun n => Nat.Prime (Corpus.OEIS109845.a n))

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

Environment availability: available.

Public accepted solutions (paginated API)

Public JSON record