A lower bound on the distortion of embedding planar metrics into Euclidean space | Synapse