7.4 Preuve de l'inégalité de Brun-Minkowski

Cette section est consacrée à la démonstration de la Proposition 55. Nous allons procéder en deux étapes. La première consiste à vérifier l'inégalité de Brun-Minkowski lorsque $A$ et $B$ sont des unions finies de semi-intervalles, par récurrence sur le nombre total de semi-intervalles composant $A$ et $B$. La seconde montre comment passer d'unions de semi-intervalles à des compacts.