Erdős Problem #137: powerful products of consecutive integers #
Source: url:https://www.erdosproblems.com/137
Authors: Scott D. Hughes
Status: verified
Main declarations: Erdos137.erdos137_finite, Erdos137.erdos137_eventually_not_powerful
Tags: number-theory, powerful-numbers, erdos-problems
MSC: 11A51, 11N25