Status
On this page
Status
Topics
Status
On this page
Status
Topics
Let denote the largest prime factor of . There are infinitely many such that .
Source: erdosproblems.com/372
An accepted solution exists. The statement is true.
PROVED, the site's label: solved by Balog [Ba01], who proves that there are such for all large ; the statement is a conjecture of Erdős and Pomerance [ErPo78], and no Lean proof is linked. The accepted claim is Balog 2001.