Berger–Kazdan comparison theorem