text: В R8 размещение шаров радиуса 1/√2 в точках решётки Е8 дает упаковку максимальной плотности, равной π 4 2 4 4 ! ≅ 0.25367. {\displaystyle {\frac {\pi ^{4}}{2^{4}4!}}\cong 0.25367.} То, что эта плотность максимальна для решётчатых упаковок, было известно давно.