==> arithmetic/consecutive.product.p <==
Prove that the product of three or more consecutive positive integers cannot
be a perfect square.