Hadwiger–Finsler inequality

Hadwiger–Finsler inequality