[math-fun] Max dimension of a lattice