Skip to content

Erdős problem 1212

Let GG be the graph with vertex set those pairs (x,y)N2(x,y)\in \mathbb{N}^2 with gcd(x,y)=1\mathrm{gcd}(x,y)=1, in which we join two vertices if the differ in only one coordinate, and there by ±1\pm 1.

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/1212.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1212.leanErdos1212.anchor_coprime_of_short_leg1 lineExact file
∀ {a s : ℕ}, a < s → (∀ (p : ℕ), Nat.Prime ppas < a + p) → a.gcd s = 1
APIStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page