Skip to content

Erdős problem 364

Start work

There is no consecutive triple of powerful numbers.

Sources

The source's own material, retained exactly.

3 retained statements36c6d0fef71a

Open selected source

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
¬∃ n, n.Powerful ∧ (n + 1).Powerful ∧ (n + 2).Powerful
OpenStatement only, no proof