Erdős problem 364 · problems.science

There is no consecutive triple of powerful numbers.

Sources

Browse retained paths and inspect the exact material available for this Problem.

3 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

364.lean

Retained formal statement1 of 3

There is no consecutive triple of powerful numbers.

FormalConjectures/ErdosProblems/364.leanErdos364.erdos_3641 lineExact file

1¬∃ n, n.Powerful ∧ (n + 1).Powerful ∧ (n + 2).Powerful

OpenStatement only, no proof