hence the shortest path is an upper bound on \(\mathsf{logit}_{i}\). To prove feasibility, we claim that setting \(\mathsf{logit}_{i}\) to be the distance from \(0\) to \(i\) satisfies all the inequalities. Assume some inequality \(\mathsf{logit}_{i}-\mathsf{logit}_{j}\leq c_{ji}\) is violated. Then we can go from \(0\to j\to i\) in \(G\) with a total weight of \(\mathsf{logit}_{j}+c_{ji}<\mathsf{logit}_{i}\), which contradicts the assumption that \(\mathsf{logit}_{i}\) is the distance from \(0\) to \(i\).