Fan's inequality in geodesic spaces
space with a global nonpositive curvature
scientific article; zbMATH DE number 5615118