それはうまいな。
m! (m!-1)! = (m!)!

つまり m>1 ならば、a=m, b=(a!-1), c=a! とすると

a! b! = c! である非自明な解の列が無限に作れるではないか！！