The existence of lattices with trivial automorphism group was shown by O'Meara, who gave an algorithm to construct such a lattice starting from any given lattice. In this process, the discriminants of the lattices increase in each step. Biermann proved the existence of a lattice…