Finding an optimal proximity bound in a very special scenario

Given A ∈ Zm×n and b ∈ Zm, we provide a sharp upper bound for the ℓ∞-distance from any vertex of the polyhedron P(A, b) = {x ∈ Rn ≥0: Ax = b} to a nearby feasible integral point under a strong assumption regarding the dimensions of the matrix A. It is hoped that this result provides motivation for conducting further research into providing more such upper bounds under certain additional assumptions.