Erdős problem 677 · problems.science

Denote by $M(n, k)$ the least common multiple of the finite set $\{n+1, \dotsc, n+k\}$ . Is it true that for all $m \geq n + k$ , we get $M(m, k) \neq M(n, k)$ ?

Sources

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

2 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

677.lean

Retained formal statement1 of 2

Denote by $M(n, k)$ the least common multiple of the finite set $\{n+1, \dotsc, n+k\}$ . Is it true that for all $m \geq n + k$ , we get $M(m, k) \neq M(n, k)$ ?

FormalConjectures/ErdosProblems/677.leanErdos677.erdos_6771 lineExact file

1∀ (m n k : ℕ), k > 0 → m ≥ n + k → Finset.lcmInterval m k ≠ Finset.lcmInterval n k

OpenStatement only, no proof

Sources

Search problems.science