解法：维亚佐夫斯卡用模形式解决8维与24维球堆积问题

科恩与埃尔基斯证明:若一个径向施瓦茨函数 $f: \mathbb{R}^d \to \mathbb{R}$ 满足 $|x| \ge r$ 时 $f(x) \le 0$,其傅里叶变换处处满足 $\hat f(t) \ge 0$,且 $f(0) = \hat f(0) > 0$,则 $\mathbb{R}^d$ 中单位球的堆积密度不超过半径 $r/2$ 的球的密度;当堆积的差向量集合恰为 $f$ 与 $\hat f$ 各自的零点集时取等号。