Thank you for the reference! Interestingly, this bound also came up in number theory. What do Cassels and Minkowski use the bound for? I need it to bound from above the largest archimedean length of a fundamental unit under the Minkowski embedding (for a suitably chosen basis of fundamental units.) I wonder if such a bound is known - I'll make this another Math Overflow question.