erdos_938

Let $A=\{n_1 < n_2 < \cdots\}$ be the sequence of powerful numbers (if $p\mid n$ then $p^2\mid n$). Are there only finitely many three-term progressions of consecutive terms $n_k,n_{k+1},n_{k+2}$?

theorem erdos_938 : answer(sorry) ↔ {P : Finset ℕ | (P : Set ℕ).IsAPOfLength 3 ∧ ∃ k,
    P = {nth Powerful k, nth Powerful (k + 1), nth Powerful (k + 2)}}.Finite

Recent Submissions

No submissions yet. Be the first to attempt this problem.