book-chapter · 2007An optimal inequality for CAT(0) metrics0 citationsDOI: https://doi.org/10.1090/surv/137/10