OP-00669 Solution claimed Euclidean isoperimetry in higher-dimensional Cartan–Hadamard manifolds DG · AIM Open Applied Problems · Cartan–Hadamard manifolds · isoperimetric inequality · nonpositive curvature