Erdős problem 364
There is no consecutive triple of powerful numbers.
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/364.lean¬∃ n, n.Powerful ∧ (n + 1).Powerful ∧ (n + 2).PowerfulOpenStatement only, no proof