exp \left( O (k (\log k)^2) \right).$$ Let $u_k = v_n$ for this choice of $n$, and so $n = \omega(u_k)$. This completes the proof.

Let $v_n$ be as in the proof of Corollary \[size\_N\] above, i.e. $v_n = \prod_{i=1}^n p_i^2$, where $p_1, p_2, \dots$ are primes congruent to 1 mod 4; for instance, the first 9 such primes are 5, 13, 17, 29, 37, 43, 47, 53, 61. For each $k$ choose the smallest $n$ so that $v_n > (\log v_n)^k$, and let $u_k = v_n$ for this choice of $n$. Here is the actual data table for the first few values of the sequence $\{u_k\}$ computed with Maple.

  [*$k$*]{}   [*$n$*]{}   [*$u_k = v_n$*]{}              [*$\N(u_k)$*]{}   [*$(\log u_k)^k$*]{}
  ----------- ----------- ------------------------------ ----------------- ----------------------
  1           2           $4225$                         9                 8.34877454
  2           4           $1026882025$                   518               430.5539044
  3           7           $5741913252704971225$          215002            80589.79464
  4           9           $60016136730202390980384025$   14324372          12413026.85

Notice that the choice of $n = O(k \log k)$ as in Corollary \[size\_N\] insures that not just $\N(u_k)$, but even the much smaller $\N_I(u_k)$ (compare for instance the values of $\N(u_k)$ in the table above to $\N_I(u_k) = 3^n$) is greater than $(\log u_k)^k$, and even with this stronger restriction $u_k$ and $\omega(u_k)$ grow relatively slow as functions of $k$.

Counting well-rounded lattices with fixed minimum
=================================================

Let $m \in \zed_{>0}$, then,
exp \left (O (k (\log k)^2) \right).$$ Let $ u_k = v_n$ for this choice of $ n$, and so $ n = \omega(u_k)$. This dispatch the validation. 

 Let $ v_n$ be as in the proof of Corollary \[size\_N\ ] above, i.e. $ v_n = \prod_{i=1}^n p_i^2 $, where $ p_1, p_2, \dots$ are prime congruent to 1 mod 4; for example, the first 9 such primes are 5, 13, 17, 29, 37, 43, 47, 53, 61. For each $ k$ choose the humble $ n$ so that $ v_n > (\log v_n)^k$, and let $ u_k = v_n$ for this choice of $ n$. Here is the actual datum mesa for the first few value of the sequence $ \{u_k\}$ computed with Maple. 

   [ * $ k$ * ] { }    [ * $ n$ * ] { }    [ * $ u_k = v_n$ * ] { }               [ * $ \N(u_k)$ * ] { }    [ * $ (\log u_k)^k$ * ] { } 
   ----------- ----------- ------------------------------ ----------------- ---------------------- 
   1            2            $ 4225 $                          9                  8.34877454 
   2            4            $ 1026882025 $                    518                430.5539044 
   3            7            $ 5741913252704971225 $           215002             80589.79464 
   4            9            $ 60016136730202390980384025 $    14324372           12413026.85 

 Notice that the option of $ n = O(k \log k)$ as in Corollary \[size\_N\ ] insures that not just $ \N(u_k)$, but even the much smaller $ \N_I(u_k)$ (compare for instance the values of $ \N(u_k)$ in the mesa above to $ \N_I(u_k) = 3^n$) is greater than $ (\log u_k)^k$, and even with this stronger restriction $ u_k$ and $ \omega(u_k)$ develop relatively slow as functions of $ k$. 

 Counting well - rounded lattice with fixed minimum 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 Let $ m \in \zed_{>0}$, then,
exp \left( O (k (\log k)^2) \right).$$ Leu $u_k = v_n$ for this choice of $n$, znd so $n = \omega(u_k)$. This completes the peoof.

Ltn $v_n$ be as in the prouf of Corlllary \[suze\_N\] qbove, i.e. $v_i = \prod_{i=1}^k p_i^2$, smere $'_1, '_2, \dots$ are primgs congruent to 1 mod 4; for hnrtcnce, the first 9 such primes are 5, 13, 17, 29, 37, 43, 47, 53, 61. Fot fach $k$ choose jhe skwllean $k$ so that $v_n > (\log v_n)^k$, and let $u_k = v_n$ fog this choice of $m$. Here is the actual data hablf for the first fea values of the wequence $\{u_k\}$ zomputed wpch Maple.

  [*$k$*]{}   [*$n$*]{}   [*$u_k = v_n$*]{}              [*$\N(u_k)$*]{}   [*$(\log u_k)^k$*]{}
  ----------- ----------- ------------------------------ ----------------- ----------------------
  1           2           $4225$                         9                 8.34877454
  2           4           $1026882025$                   518               430.5539044
  3           7           $5741913252704971225$          215002            80589.79464
  4           9           $60016136730202390980384025$   14324372          12413026.85

Notive nnat the choide of $g = O(k \log k)$ as in Corollary \[size\_N\] insures thzt not just $\N(u_k)$, but eveb the much smaller $\N_I(o_k)$ (compare for instance the values of $\N(u_k)$ in the table abova to $\I_I(j_k) = 3^n$) kw hreater than $(\log u_k)^k$, and even with this strondsr rvstriction $u_k$ and $\omega(u_k)$ grpw rrjatively slow as fuudtjons of $k$.

Counting aell-rougded oattices rith fixed minimum
=================================================

Let $m \in \zed_{>0}$, rhen,
exp \left( O (k (\log k)^2) \right).$$ = for this of $n$, and completes proof. Let $v_n$ as in the of Corollary \[size\_N\] above, i.e. $v_n \prod_{i=1}^n p_i^2$, where $p_1, p_2, \dots$ are primes congruent to 1 mod 4; instance, the first 9 such primes are 5, 13, 17, 29, 37, 43, 53, For $k$ the smallest $n$ so that $v_n > (\log v_n)^k$, and let $u_k = v_n$ for this of $n$. Here is the actual data table the first few values the sequence $\{u_k\}$ computed with [*$k$*]{} [*$u_k = [*$\N(u_k)$*]{} u_k)^k$*]{} ----------- ------------------------------ ----------------- 1 2 $4225$ 9 8.34877454 2 4 $1026882025$ 518 430.5539044 3 7 $5741913252704971225$ 215002 80589.79464 4 9 14324372 12413026.85 the choice $n O(k k)$ as in insures that not just $\N(u_k)$, but smaller $\N_I(u_k)$ (compare for instance the values of in the above to $\N_I(u_k) = 3^n$) is than $(\log u_k)^k$, and even with this stronger $u_k$ and $\omega(u_k)$ grow relatively slow as functions of $k$. Counting well-rounded lattices with fixed Let $m \in \zed_{>0}$,
exp \left( O (k (\log k)^2) \right).$$ Let $u_k = v_n$ For this choIce of $N$, anD so $N = \oMega(U_k)$. ThIs completes the PRoof.

let $v_n$ be as in the proof of COrollArY \[Size\_n\] AbOve, i.e. $V_n = \prod_{i=1}^N P_i^2$, WHEre $P_1, p_2, \DoTs$ aRe PRiMes coNgrUent to 1 mOd 4; for instaNce, ThE first 9 such prIMeS are 5, 13, 17, 29, 37, 43, 47, 53, 61. For eacH $k$ cHoose the smalLesT $n$ so thAt $V_n > (\lOG v_n)^k$, aNd lEt $u_k = v_N$ for thIS choicE of $n$. Here iS tHE actuaL Data tabLE FoR the First few values of tHE sEQuence $\{u_k\}$ computEd with maPLe.

  [*$K$*]{}   [*$N$*]{}   [*$U_k = v_N$*]{}              [*$\N(u_K)$*]{}   [*$(\log u_k)^k$*]{}
  ----------- ----------- ------------------------------ ----------------- ----------------------
  1           2           $4225$                         9                 8.34877454
  2           4           $1026882025$                   518               430.5539044
  3           7           $5741913252704971225$          215002            80589.79464
  4           9           $60016136730202390980384025$   14324372          12413026.85

NotIcE that THe choicE Of $N = o(K \Log K)$ As in Corollary \[Size\_N\] insureS ThaT not juSt $\n(u_k)$, BUt even The muCh SMalLer $\N_I(u_k)$ (compAre fOr instancE the vaLUes of $\N(u_K)$ In the taBle aboVe tO $\N_I(U_k) = 3^n$) iS GrEaTer ThAN $(\loG U_k)^K$, anD EveN with thiS sTrOnger RestRICTIon $u_K$ anD $\omeGa(u_k)$ gRow relatively SloW as fUNctIons oF $k$.

CouNtinG wEll-roUnded lAtticEs With fixed minimuM
=================================================

Let $M \in \zed_{>0}$, theN,
exp \left( O (k (\log k)^2 ) \right). $$ Le t $ u_k  =  v_n $ fo r this choiceo f $n $, and so $n = \omega( u_k)$ .T hisc om plete s the p r oo f . 

L et  $ v_n $b eas in  th e proof  of Coroll ary  \ [size\_N\] a b ov e, i.e. $v _n= \prod_{i=1 }^n  p_i^2 $,  wh e re $p _1,  p_2,  \dots $  are p rimes con gr u ent to 1 mod 4 ; fo r in stance, the first 9s uch primes are  5, 13 ,1 7, 2 9,37,  43, 47, 5 3,  61.F or each $k $ c hoo s e the smalles t $n$ so th a t $ v_n >(\ log v_n)^k $, an dl et$u_k = v_n$  for  this cho ice of $n$. He r e is th e actu aldat a ta b le  f orth e  fi r st  fe w  va lues ofth eseque nce$ \ { u _k\} $ c ompu ted w ith Maple.

 [* $k$* ] {}  [*$ n$*]{ }  [* $u_k= v_n$ *]{}            [*$\ N(u_ k)$*]{}  [* $( \lo gu_k)^ k $*]{}  - --- -------  ------ - --- -- - - -- ------------------ -- - - -- - ------ ------ - -- -- -------- -- --- ---- - - ---
 1        2       $ 4225$                 9              8.34 8 77454
  2         4       $ 10 2 6882 025 $               518         430 .5 5 39 0 44
  3           7        $57 4191325270497 1225$      215002         80589.7946 4
  4          9          $ 60016136 730202390 9 8 0384025$   143 243 72      12413026 . 8 5

N ot ice tha t t he choi ceof$n= O (k  \log k)$  as in C or ol la ry  \[ size\ _ N\] insu re s t ha t n ot ju s t $\N( u_k)$ , bu tev e n t he much sm a l ler$\ N_ I(u_ k)$  ( compa re f o r i nstance  the valu eso f $\ N( u_ k)$ inthe table abo ve  to $\N_I( u_ k)= 3^n$ ) is great er than $(\log u_k)^k$, and eve n w ith t hisstrongerres tricti on$ u_k$ a nd $\o mega( u_ k)$ g row r e l at ive ly  slow as f u n cti ons o f$k$. 

Count ing well-rounded l a tti ces with fixe d m inim u m 
= === = == = === == = === = = =============== ========== == = == 

Let $m \ i n \ ze d_{>0}$ , then, 
exp \left(_O (k_(\log k)^2) \right).$$ Let_$u_k =_v_n$_for this_choice_of $n$, and_so $n =_\omega(u_k)$. This completes the_proof.

Let $v_n$ be_as_in the proof of Corollary \[size\_N\] above, i.e. $v_n = \prod_{i=1}^n p_i^2$, where $p_1,_p_2,_\dots$ are_primes_congruent_to 1 mod 4; for_instance, the first 9 such_primes are_5, 13, 17, 29, 37, 43, 47, 53,_61._For each $k$_choose the smallest $n$ so that $v_n > (\log_v_n)^k$, and let $u_k = v_n$_for this choice_of_$n$._Here is the actual_data table for the first few_values of the sequence $\{u_k\}$ computed_with Maple.

  [*$k$*]{}   [*$n$*]{}_  [*$u_k = v_n$*]{} _    _ _    _[*$\N(u_k)$*]{}  _[*$(\log u_k)^k$*]{}
_ ----------- -----------_------------------------------ ----------------- ----------------------
  1 _  _     _2_  ___ _  _$4225$_ __     __      _   __  9 _    _     _ _ _8.34877454
  2        _  4   _   _ __$1026882025$  __ _      _ _    518 _   __     _  430.5539044
  3 _    ___  7  _     _  $5741913252704971225$_      __ 215002    __     _80589.79464
__4    _     _9        _  $60016136730202390980384025$_  14324372  ___     12413026.85

Notice that the choice of_$n =_O(k \log k)$_as in Corollary \[size\_N\] insures that not just $\N(u_k)$, but_even the much smaller $\N_I(u_k)$ (compare for_instance the values of $\N(u_k)$ in the table above to $\N_I(u_k)_= 3^n$) is greater than $(\log u_k)^k$, and_even with this stronger restriction $u_k$ and_$\omega(u_k)$ grow relatively slow_as_functions of $k$.

Counting well-rounded lattices with fixed_minimum
=================================================

Let_$m_\in_\zed_{>0}$, then,