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

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/677.lean

Formal Conjectures

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

Continue

Start a contribution Browse the source files Open the collection entry

No current result

Continue

Search problems.science