(la última desigualdad se puede generalizar a una cota de curvatura arbitraria y es el punto dominante en la prueba del teorema de compacidad de Gromov.)