The lower-bound claim for Hermite's constant of symplectic lattices in dimension a power of two
Lower-bound claim.