let
linf (i,j) (x,y) = max (abs (i-x)) (abs (j-y))