Erdős problem 1056 · problems.science

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$ ?

Sources

Browse retained paths and inspect the exact material available for this Problem.

4 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

1056.lean

Retained formal statement1 of 4

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$ ?

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

Sources

Search problems.science