Problema de lista corta

Pongo un problema lista corta propuesto por Colombia, está bueno.

Considera el sistema
x+y=z+u
2xy=zu
Encuentra el máximo valor de la constante real m tal que m es menor o igual que x/y para cada solución entera positiva x, y, z, u del sistema y con x mayor o igual que y.