This question is about dense sphere packings in euclidean space $\mathbb R^n$. By a sphere packing I understand any arrangement of mutually disjoint solid open spheres in $\mathbb R^n$, all of the same radius. The density of a packing is $$\mathrm{lim}_{R \to \infty}\frac{\mathrm{vol }(B(0,R) \cap \mathrm{spheres})}{\mathrm{vol } B(0,R)} $$ if it exists. Here, $B(0,R)$ is the open ball of radius $R$ centered at $0 \in \mathbb R^n$.

In low dimensions, the highest possible densities of sphere packings are known to be attained by lattice packings, that is, packings such that the centers of the spheres form a discrete subgroup of $\mathbb R^n$ of rank $n$. One could speculate that this is so in all dimensions, but I doubt it very much...

Is it true that for some (possibly very lagre) integer $n$, there is a sphere packing in $\mathbb R^n$ which has a higher density than any lattice packing?

Edit -- Note: I didn't mean to ask about an explicit $n$, let alone about explicit packings. So i'm completely satisfied if somebody tells me that there is asymptotically such and such upper bound for lattice packing densities and this and that lower bound for general densest sphere packing densities.