% References cited in https://agora.t9k.dev/t/94/the-euclidean-steinitz-bergstr-m-bound