Scalar Curvature Rigidity of Warped Product Metrics | Synapse