Hadwiger–Finsler_inequality