a(n) is the least integer such that every even unimodular lattice in dimension 8n contains some vectors of all even (squared) norm >= 2*a(n).
A035307
a(n) is the least integer such that every even unimodular lattice in dimension 8n contains some vectors of all even (squared) norm >= 2*a(n).
Terms
- a(0) =0a(1) =0a(2) =2a(3) =2a(4) =2a(5) =3
External references
- oeis: A035307