A Complete Proof of the Limit Formula for Observable Diameter | Synapse