Formal target: Corpus.OEIS37274.home_prime_conjecture

Every integer at least two reaches a home prime.

Exact formal statement

∀ (n : Nat), LE.le.{0} 2 n → Corpus.OEIS37274.ReachesPrime n

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

Environment availability: available.