Observations

Useful observations:

• is minimized for u on a shortest (s,t) path, with .
• For all u, because of admissibility.
• .
• Consider two consecutive nodes u and v along a shortest path (to anywhere). Claim: . Proof: By monotonicity, . Because u and v are on a shortest path, . Combining, we get or .