nを固定、kを変数として
n(n-k)の素因数分解でべき乗をできる限り発生させてそのradをできる限り小さくすることを考えれば
>>458のn < (rad(n(n-k)))^2 を否定できるかもしれない