SMO 2020 - Junior - Vòng 1 Câu hỏi 24

Nếu $m>n$ là các số nguyên dương thỏa mãn
$$(m^2-n^2)^2=1+80n,$$
thì giá trị nhỏ nhất có thể của $mn$ bằng bao nhiêu?