Собственно, до доказательства оптимальности E_8 осталось совсем чуть-чуть.
Первый шаг простой: если есть пара из решётки Λ и функции f, для которых все неравенства в доказательстве обращаются в равенства — то верхняя оценка для Λ тоже обращается в равенство, и значит, Λ и есть наилучшая возможная упаковка (раз её плотность оценивает сверху любую другую).