Erdős problem 1056

Let $k ≥ 2$ . Does there exist a prime $p$ and consecutive intervals $I_0,\dots,I_k$ such that $\prod\limits_{n{\in}I_i}n \equiv 1 \mod n$ for all $1 \le i \le k$ ?

No current result

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

FormalConjectures/ErdosProblems/1056.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1056.leanErdos1056.erdos_10563 linesExact file

1True ↔2  ∀ k ≥ 2,3    ∃ p, ∃ (_ : Nat.Prime p), ∃ boundaries, ∃ (_ : StrictMono boundaries), Erdos1056.AllModProdEqualsOne p boundaries

OpenStatement only, no proof