Formal target: Corpus.Erdos770.erdos_770.variants.three

It is probably true that h n = 3 for infinitely many n.

Exact formal statement

Set.Infinite.{0} (Set.ofPred.{0} fun n => Eq.{1} (Corpus.Erdos770.h n) 3)

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

Environment availability: available.

Public accepted solutions (paginated API)

Public JSON record