Let $M (n, k) = [n + 1, \dots, n + k]$ be the least common multiple of ${n + 1, \dots, n + k}$ .Are there infinitely many $m, n$ and $k \geq 3$ with $m \geq n + k$ such that $M (n, k) > M (m, k + 1)?$

Worked, still open.

number theory · solved · possible · formalized (Lean) · 0 attempts

use this record

vela registry pull vfr_37aec80d874a0239

vela reproduce examples/erdos-problems

formal

AMS 11 · test (literature)

lemma lcmInterval_lt_example1 : lcmInterval 104 8 < lcmInterval 96 7

solved