  We show that any space with a positive upper curvature bound has in a small
neighborhood of any point a closely related metric with a negative upper
curvature bound.

Differential Geometry;Metric Geometry