CAT-Inequality