choose 2}} \ge \frac{t^2}2\left( \frac{|A\cap  I|^2}{k}+
\frac{|A\setminus  I|^2}{n-k}\right) +o(n^{3/2})= t^2\left(\frac12 +
\frac{(\alpha n-k)^2}{k(n-k)}\right) +o(n^{3/2}).$$

Thus, up to an error term of $o(n^{3/2})$, we must have equality throughout. We conclude that $\alpha=k/n+o(1)$ and $a_i=(\alpha/m+o(1))\,n^{1/2}$, which gives the required.

Lower Bounds on $s(k,n)$ {#SLower}
========================

We know that the range of interest is $k=\Theta(n^{1/2})$. We will be proving lower bounds on the following ‘scaled’ one-parameter version of $s(k,n)$: $$\label{eq:DefS}
 s(c):=\liminf_{n\to\infty} \frac{s({\lfloor cn^{1/2}\rfloor},n)}n.$$

Note that in  we could have replaced ${\lfloor cn^{1/2}\rfloor}$ by anything of the form $(c+o(1))\, n^{1/2}$ without affecting the value of $s(c)$. However, we have to write $\liminf$ as the following question is open.

\[pr:limit\] Let $c$ be a fixed positive real. Suppose that $n$ tends to the infinity and $k=(c+o(1))\, n^{1/2}$. Does the ratio $s(k,n)/n$ tend to a limit?

Our lower bound on $s(c)$, provided by the following lemmata, will be given by different formulae for different ranges of $c$.

The bound  of Erdős and Freud [@erdos+freud:91] implies that $$\label{eq:1}
 s(c)=\frac{c^2}2,\quad c\le 2/\sqrt3.$$ Their construction can be generalised to give lower bounds on $s(c)$ for larger $c$.

\[lm:SLower1\] $$\label{eq:SL
choose 2 } } \ge \frac{t^2}2\left (\frac{|A\cap   I|^2}{k}+ 
 \frac{|A\setminus   I|^2}{n - k}\right) + o(n^{3/2})= t^2\left(\frac12 + 
 \frac{(\alpha n - k)^2}{k(n - k)}\right) + o(n^{3/2}).$$ 

 Thus, up to an error term of $ o(n^{3/2})$, we must have equality passim. We reason that $ \alpha = kilobyte / n+o(1)$ and $ a_i=(\alpha / m+o(1))\,n^{1/2}$, which gives the required. 

 low Bounds on $ s(k, n)$ { # SLower } 
 = = = = = = = = = = = = = = = = = = = = = = = = 

 We know that the stove of pastime is $ k=\Theta(n^{1/2})$. We will be proving broken bounds on the following ‘ scale ’ one - parameter version of $ s(k, n)$: $ $ \label{eq: DefS } 
  s(c):=\liminf_{n\to\infty } \frac{s({\lfloor cn^{1/2}\rfloor},n)}n.$$ 

 notice that in    we could have replaced $ { \lfloor cn^{1/2}\rfloor}$ by anything of the form $ (c+o(1))\, n^{1/2}$ without affecting the value of $ s(c)$. However, we have to write $ \liminf$ as the following question is exposed. 

 \[pr: limit\ ] Let $ c$ be a fixed positive real number. Suppose that $ n$ tends to the eternity and $ k=(c+o(1))\, n^{1/2}$. Does the proportion $ s(k, n)/n$ tend to a limit? 

 Our lower bound on $ s(c)$, provided by the following lemmata, will be given by different rule for different ranges of $ c$. 

 The bound    of Erdős and Freud   [ @erdos+freud:91 ] implies that $ $ \label{eq:1 } 
  s(c)=\frac{c^2}2,\quad c\le 2/\sqrt3.$$ Their construction can be generalised to give lower bounds on $ s(c)$ for larger $ c$. 

 \[lm: SLower1\ ] $ $ \label{eq: SL
cholse 2}} \ge \frac{t^2}2\left( \frac{|A\cxp  I|^2}{k}+
\frac{|A\setmnbus  I|^2}{i-k}\right) +o(n^{3/2})= t^2\lefg(\frac12 +
\frac{(\alpha n-k)^2}{k(n-k)}\right) +o(i^{3/2}).$$

Thuw, up uj an error term of $o(n^{3/2})$, we mudt have wquaouty througikut. We gjnclhfe tkav $\alpha=k/n+o(1)$ and $s_i=(\alpha/m+o(1))\,n^{1/2}$, which gives tve rzquired.

Lower Bounds on $s(k,n)$ {#SLower}
========================

We hnow thst the range of yntegeft ia $k=\Theta(n^{1/2})$. We will be proving lower bounds on the folloeing ‘scaled’ one-parameter vfrsiln of $s(k,n)$: $$\label{eq:DffS}
 s(c):=\limind_{n\to\ybfty} \frac{s({\lfuoor cn^{1/2}\rfloor},n)}n.$$

Note thzt in  we could have replaced ${\lfuoor en^{1/2}\rfloor}$ by abytjhng of the horm $(c+j(1))\, n^{1/2}$ without affectinc the vslue of $s(c)$. Howcver, xe hqve to write $\liminf$ av the following qugstion is mpzn.

\[pr:limit\] Let $c$ be a dized pmsithve fwal. Sukpoxe that $j$ txnds to the infinity abd $k=(c+o(1))\, n^{1/2}$. Does the rstyi $s(k,n)/n$ tend tk a liiie?

Our lower bound on $s(c)$, provided by the xolmowing lemmata, will be tiven by different fotmulae for different ranges of $c$.

The bound  of Erdős and Freud [@ardos+hrdud:91] iiooifs that $$\label{eq:1}
 s(c)=\frac{c^2}2,\quad c\le 2/\sqrt3.$$ Their cogattubtion can be genevalised to give loeeg njunds on $s(c)$ fur larysr $c$.

\[lm:SLower1\] $$\label{eq:DL
choose 2}} \ge \frac{t^2}2\left( \frac{|A\cap I|^2}{k}+ \frac{|A\setminus t^2\left(\frac12 \frac{(\alpha n-k)^2}{k(n-k)}\right) Thus, up to we have equality throughout. conclude that $\alpha=k/n+o(1)$ $a_i=(\alpha/m+o(1))\,n^{1/2}$, which gives the required. Lower on $s(k,n)$ {#SLower} ======================== We know that the range of interest is $k=\Theta(n^{1/2})$. will be proving lower bounds on the following ‘scaled’ one-parameter version of $s(k,n)$: s(c):=\liminf_{n\to\infty} cn^{1/2}\rfloor},n)}n.$$ that we could have replaced ${\lfloor cn^{1/2}\rfloor}$ by anything of the form $(c+o(1))\, n^{1/2}$ without affecting the of $s(c)$. However, we have to write $\liminf$ the following question is \[pr:limit\] Let $c$ be a positive Suppose that tends the and $k=(c+o(1))\, n^{1/2}$. the ratio $s(k,n)/n$ tend to a limit? Our lower bound on $s(c)$, provided by the following lemmata, be given formulae for ranges $c$. bound of Erdős [@erdos+freud:91] implies that $$\label{eq:1} s(c)=\frac{c^2}2,\quad c\le can be generalised to give lower bounds on for larger \[lm:SLower1\] $$\label{eq:SL
choose 2}} \ge \frac{t^2}2\left( \frac{|A\cap  i|^2}{k}+
\frac{|A\setMinus  i|^2}{n-k}\RigHt) +O(n^{3/2})= t^2\lEft(\fRac12 +
\frac{(\alpha n-k)^2}{K(N-k)}\riGht) +o(n^{3/2}).$$

Thus, up to an error teRm of $o(N^{3/2})$, wE Must HAvE equaLity thrOUgHOUt. WE cOnCluDe THaT $\alphA=k/n+O(1)$ and $a_i=(\aLpha/m+o(1))\,n^{1/2}$, whiCh gIvEs the requireD.

loWer Bounds oN $s(k,N)$ {#SLower}
========================

We knoW thAt the rAnGe oF InterEst Is $k=\ThEta(n^{1/2})$. We WIll be pRoving lowEr BOunds oN The follOWInG ‘scaLed’ one-parameter veRSiON of $s(k,n)$: $$\label{eq:DEfS}
 s(c):=\lImINf_{N\TO\inFty} \Frac{s({\lflooR cN^{1/2}\rfloOR},n)}n.$$

Note THaT IN  We cOUld have replacEd ${\lfloor cn^{1/2}\rFLooR}$ by anyThIng OF the foRm $(c+o(1))\, n^{1/2}$ WiTHouT affecting tHe vaLue of $s(c)$. HoWever, wE Have to wRIte $\limiNf$ as thE foLloWing QUeStIon Is OPen.

\[PR:lImiT\] let $C$ be a fixeD pOsItive Real. sUPPOse tHat $N$ tenDs to tHe infinity and $K=(c+o(1))\, N^{1/2}$. DoeS The Ratio $S(k,n)/n$ tEnd tO a Limit?

our lowEr bouNd On $s(c)$, provided by tHe foLlowing leMmaTa, WilL bE giveN By diffEreNt fOrmulae For diffERenT rANGEs Of $c$.

The bound  of Erdős AnD fReUd [@erdos+fReud:91] imPLiEs THat $$\label{Eq:1}
 S(c)=\fRac{c^2}2,\QUAd c\le 2/\Sqrt3.$$ tHeIr constrUction CAn Be GeneralIsEd to giVe LowEr bOunds ON $s(c)$ fOr largEr $c$.

\[lm:SLoWer1\] $$\laBEl{eq:SL
choose 2}} \ge \frac{t^2}2 \left( \fr ac{|A \ca p I| ^2}{ k}+\frac{|A\setmi n us I|^2}{n-k}\right) +o(n ^{3/2 }) =  t^2 \ le ft(\f rac12 + \f r a c{( \a lp han- k )^ 2}{k( n-k )}\righ t) +o(n^{3 /2} ). $$

Thus, up to  an errorter m of $o(n^{3 /2} )$, we  m ust haveequ ality  throu g hout.We conclu de that $ \ alpha=k / n +o (1)$  and $a_i=(\alpha / m+ o (1))\,n^{1/2}$ , whic hg iv e s  th e r equired.
Lo wer B o unds on $s ( k , n)$ {#SLower}
=== =========== = === ====== 
Wek now th at th er ang e of intere st i s $k=\The ta(n^{ 1 /2})$.W e willbe pro vin g l ower bo un dson the fo llo w ing  ‘scaled ’on e-par amet e r v ersi onof $ s(k,n )$: $$\label{ eq: DefS } 
 s (c):= \limi nf_{ n\ to\in fty} \ frac{ s( {\lfloor cn^{1/ 2}\r floor},n) }n. $$ 

N ot e tha t  in  w e c oul d havereplace d  ${ \l f l o or  cn^{1/2}\rfloor}$  b y an ything o f thef or m$ (c+o(1)) \,  n^ {1/2 } $  with outa ff ecting t he val u eof  $s(c)$ .Howeve r,  we  ha ve to writ e $\li minf$ as  thef ollowing quest i on is open.
\ [p r : li m it\]  Le t $c$ be afixe d  pos itiv e  r eal .  Supp ose t ha t  $ n $ tends to the infi ni ty and  $k=( c+o(1))\, n^{ 1/2}$. Doe s t he ratio  $s( k ,n ) /n$ tend to alimit ?

Our low e r boundon $s (c)$, pr ovided by t he follo win g l emm ata , wi ll be given b y diff er ent for mul ae fordif fer ent  ra ng es of $c$ .

The b ou nd  of  Er dős a n d Freud[@ erd os +fr eud:9 1 ] impl ies t hat$$ \l a bel {eq:1}s( c ) =\fr ac {c ^2}2 ,\q ua d c\l e 2/ \ sqr t3.$$ T heir cons tru c tion  c an  be gen eralised to g iv e lower bo un dson $s( c ) $ for la rger $c$.

\[lm:SLower1 \ ] $$\la bel {eq:S L
choose 2}}_\ge \frac{t^2}2\left(_\frac{|A\cap  I|^2}{k}+
\frac{|A\setminus _I|^2}{n-k}\right) +o(n^{3/2})=_t^2\left(\frac12_+
\frac{(\alpha n-k)^2}{k(n-k)}\right)_+o(n^{3/2}).$$

Thus,_up to an_error term of_$o(n^{3/2})$, we must have_equality throughout. We_conclude_that $\alpha=k/n+o(1)$ and $a_i=(\alpha/m+o(1))\,n^{1/2}$, which gives the required.

Lower Bounds on $s(k,n)$ {#SLower}
========================

We know that_the_range of_interest_is_$k=\Theta(n^{1/2})$. We will be proving_lower bounds on the following_‘scaled’ one-parameter_version of $s(k,n)$: $$\label{eq:DefS}
 s(c):=\liminf_{n\to\infty} \frac{s({\lfloor cn^{1/2}\rfloor},n)}n.$$

Note that_in _we could have_replaced ${\lfloor cn^{1/2}\rfloor}$ by anything of the form $(c+o(1))\,_n^{1/2}$ without affecting the value of_$s(c)$. However, we_have_to_write $\liminf$ as the_following question is open.

\[pr:limit\] Let $c$_be a fixed positive real. Suppose_that $n$ tends to the infinity and_$k=(c+o(1))\, n^{1/2}$. Does the ratio $s(k,n)/n$_tend to a limit?

Our lower_bound on_$s(c)$, provided by the following_lemmata, will be_given by_different formulae for_different ranges of $c$.

The bound  of_Erdős and Freud [@erdos+freud:91]_implies that $$\label{eq:1}
 s(c)=\frac{c^2}2,\quad c\le 2/\sqrt3.$$_Their_construction can be_generalised_to_give lower_bounds on $s(c)$_for_larger $c$.

\[lm:SLower1\]_$$\label{eq:SL