Pohst 不等式的详细证明

1977 年，Pohst 对 $n$ 个变量猜想了一个不等式，并给出了 $n\leq 10$ 时的计算机辅助证明。我们使用组合论证给出了对所有 $n$ 的证明。该不等式为全实代数数域的调节子提供了用判别式表示的更优界。