Skip to content

Erdős problem 1056

Let k2k ≥ 2. Does there exist a prime pp and consecutive intervals I0,,IkI_0,\dots,I_k such that nIin1modn\prod\limits_{n{\in}I_i}n \equiv 1 \mod n for all 1ik1 \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 statement2 of 4

This is problem A15 in Guy's collection [Gu04], where he reports that in a letter in 1979 Erdős observed that 345671mod113 * 4 \equiv 5 * 6 * 7 \equiv 1 \mod 11.

FormalConjectures/ErdosProblems/1056.leanErdos1056.erdos_1056.variants.k21 lineExact file
Erdos1056.AllModProdEqualsOne 11 ![3, 5, 8]
TextbookStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page