Erdős problem 770
For odd n, the values of h n form an unbounded set. This is described as 'easy to see' in [Er74b].
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/770.leansorry ↔ ∀ (p : ℕ), Nat.Prime p → ∃ a, {n | Erdos770.h n = ↑p}.HasDensity aOpenStatement only, no proof