Skip to content

Erdős problem 678

Write M(n,k)M(n, k) be the least common multiple of {n+1,…,n+k}\{n+1, \dotsc, n+k\}. Let kk be sufficiently large. Are there infinitely many m,nm, n with m≥n+km \geq n + k such that M(n,k)>M(m,k+1) M(n, k) > M(m, k + 1) ? The answer is yes, as proved in a strong form by Cambie [Ca24]. [Ca24] S. Cambie, Resolution of an Erdős' problem on least common multiples. arXiv:2410.09138 (2024).

Sources

The source's own material, retained exactly.

7 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

678.lean

Retained formal statement6 of 7

Cambie [Ca24] found the example M(52,7)>M(62,8)M(52, 7) > M(62, 8). [Ca24] S. Cambie, Resolution of an Erdős' problem on least common multiples. arXiv:2410.09138 (2024).

FormalConjectures/ErdosProblems/678.leanErdos678.lcmInterval_lt_example31 lineExact file
Finset.lcmInterval 62 8 < Finset.lcmInterval 52 7
TestStatement only, no proof