Erdős Problem #367

Source: url:https://github.com/scottdhughes/erdos367 Authors: Scott D. Hughes Status: verified Main declarations: Erdos367.erdos_367_k3, RFullOdd.erdos367_iv, Erdos367.erdos367 Tags: number-theory, erdos-problems, powerful-numbers, abc-conjecture, pell-equations MSC: 11D09, 11N25, 11D45