Loading problem…
Status
On this page
Status
Topics
Problem 646
Let be distinct primes. Are there infinitely many such that is divisible by an even power of each of the ?
Source: erdosproblems.com/646
- Number theory
- Factorials
Status
Solved, ProvedAn accepted solution exists. The statement is true.
The site labels the problem PROVED (LEAN). The standing derived
from the claim page is solved, proved, by
Berend 1997,
a refereed paper credited by the site's curator. The Lean proof the site's
label refers to is third-party work not built here.