CAT(0) inequality