 distribution, that is, in the large-$k$ behavior of the probabilities ${{\mathbb P}}^{y}\{N \geq
k\}$.

\[theorem.killed-number.weak\] If the offspring distribution has mean $1$, positive variance $\sigma^2$, and finite third moment then $$\label{eqn.killed-number.weak}
    \sum_{k=1}^{m} k{{\mathbb P}}(N\geq k) \sim 2C_{7}y\sqrt{m} \quad
    \text{ where } \;\; C_7=\frac{\sigma}{\sqrt{6\pi}}.$$

The proof, which will use a form of Karamata’s Tauberian theorem, will be given in section \[ssec.killed-number.weak\].

If we knew that the sequence $k{{\mathbb P}}^{y} (N\geq k)$ were monotone then we could conclude from that ${{\mathbb P}}^{y}
(N\geq k)\sim C_{7}y/k^{3/2}$. However, it seems unlikely that monotonicity of the sequence $k{{\mathbb P}}^{y} (N\geq k)$ holds in general. Thus, to obtain sharp asymptotic results about the individual probabilities ${\mathbb{P}}^{y} (N=k)$, we will impose more restrictive hypotheses on the offspring distribution that will allow us to avoid the use of Karamata’s theorem. In its place, we will use a result of Flajolet and Odlyzko [@FO90] that allows one to extract information about the asymptotic behavior of the coefficients of a power series from information about its behavior on the circle $\Gamma$ of convergence. Our hypotheses are most conveniently formulated in terms of the functions $$\label{eqn.h.kappa}
    h (s)=2[\Psi (1-s)- (1-s)] \quad \text{and} \quad 
    \kappa (s) =\int_{0}^{s} h (s')\,ds',$$ where $\Psi$ is the probability generating function of the offspring distribution. Since the power series for a probability generating function has radius of convergence $1$, the function $h$ extends to an analytic function $h (z)$ in the disk of radius $1$ centered at $z=1$, as does its integral $\kappa$. If the offspring distribution has finite support then the functions $h$ and $\kappa$ are polynomials
distribution, that is, in the large-$k$ behavior of the probabilities $ { { \mathbb P}}^{y}\{N \geq 
 k\}$. 

 \[theorem.killed - number.weak\ ] If the offspring distribution has mean $ 1 $, incontrovertible discrepancy $ \sigma^2 $, and finite third moment then $ $ \label{eqn.killed - number.weak } 
     \sum_{k=1}^{m } k{{\mathbb P}}(N\geq k) \sim 2C_{7}y\sqrt{m } \quad 
     \text { where } \;\; C_7=\frac{\sigma}{\sqrt{6\pi}}.$$ 

 The proof, which will use a shape of Karamata ’s Tauberian theorem, will be given in section   \[ssec.killed - number.weak\ ]. 

 If we know that the sequence $ k{{\mathbb P}}^{y } (N\geq k)$ were monotone then we could reason from that $ { { \mathbb P}}^{y } 
 (N\geq k)\sim C_{7}y / k^{3/2}$. However, it seem unlikely that monotonicity of the succession $ k{{\mathbb P}}^{y } (N\geq k)$ holds in general. Thus, to obtain astute asymptotic results about the individual probability $ { \mathbb{P}}^{y } (N = k)$, we will impose more restrictive hypotheses on the young distribution that will allow us to avoid the use of Karamata ’s theorem. In its stead, we will use a result of Flajolet and Odlyzko [ @FO90 ] that give up one to distill information about the asymptotic demeanor of the coefficients of a power series from information about its demeanor on the circle $ \Gamma$ of convergence. Our hypotheses are most conveniently formulated in terms of the functions $ $ \label{eqn.h.kappa } 
     h (s)=2[\Psi (1 - s)- (1 - s) ] \quad \text{and } \quad 
     \kappa (s) = \int_{0}^{s } h (s')\,ds',$$ where $ \Psi$ is the probability generating function of the offspring distribution. Since the power series for a probability generating function has spoke of overlap $ 1 $, the function $ h$ extends to an analytic function $ planck's constant (z)$ in the disk of radius $ 1 $ centered at $ z=1 $, as suffice its integral $ \kappa$. If the offspring distribution has finite support then the functions $ h$ and $ \kappa$ are polynomial
 didtribution, that is, in tht large-$k$ behavior of the probagilities ${{\mathbb P}}^{y}\{N \geq
k\}$.

\[theorem.killev-numver.weqk\] If the offspring dirtributioj has meqn $1$, kositive variance $\sigma^2$, akb finjbe thnrv moment then $$\lsbel{eqn.kilned-number.weak}
    \sbm_{k=1}^{m} k{{\mathbb P}}(N\geq k) \sim 2C_{7}y\sqrt{m} \quaq
    \tect{ where } \;\; C_7=\frac{\figms}{\fqrt{6\lp}}.$$

Tme proof, which will use a form or Karameta’s Tauberian yheorem, will be given in sfctiln \[ssec.killed-number.aeak\].

If we kbew eyat the sequdnce $k{{\mathbb P}}^{y} (N\geq k)$ were monotone then we could covcludz from that ${{\mqthht P}}^{y}
(N\geq k)\smm C_{7}y/k^{3/2}$. However, it seems unnikely yhat monotoniclty oh thw sequence $k{{\mathbb P}}^{y} (N\geq k)$ holds in ggneral. Thuv, co obtain sharp asymproric rgsultv abuyt ghe iidibidual prkbabilitiea ${\mathbb{P}}^{y} (B=k)$, we will impose mprq restrictive gypothqsqs on the offspring distribution that wpll zllow us to avoid the uwe of Karamata’s theorgm. In its [lace, we will use a result of Flajolet and Odlyzkm [@FO90] vhxt colows inf to extract information about the asymptotic genanior of the coefflcients of a power sfrogs from informxtion cgoht its behavior on the citcle $\Gqmma$ of cjnvetgence. Our hypotheses are mist convenieutlt formulated in texms of the fbnctioms $$\lanel{eqn.h.kappa}
    h (s)=2[\Psi (1-r)- (1-s)] \suad \text{anf} \quad 
    \kappa (s) =\int_{0}^{s} h (r')\,ds',$$ wvere $\Psi$ is the probabilitr generatmng fbnction uf tne offfpring dishribubhon. Since the poweg sernes fmr a probahility generating function has cedius of convgrgancv $1$, the fuuction $h$ extends to an analytic fonction $h (z)$ in the disk kf radins $1$ centered at $z=1$, as does lts integral $\kappa$. Is thw ofdspring aistribution hss finite support tyen the functions $m$ and $\iappa$ are polynimiqls
distribution, that is, in the large-$k$ behavior probabilities P}}^{y}\{N \geq \[theorem.killed-number.weak\] If the positive $\sigma^2$, and finite moment then $$\label{eqn.killed-number.weak} k{{\mathbb P}}(N\geq k) \sim 2C_{7}y\sqrt{m} \quad where } \;\; C_7=\frac{\sigma}{\sqrt{6\pi}}.$$ The proof, which will use a form of Karamata’s theorem, will be given in section \[ssec.killed-number.weak\]. If we knew that the sequence P}}^{y} k)$ monotone we could conclude from that ${{\mathbb P}}^{y} (N\geq k)\sim C_{7}y/k^{3/2}$. However, it seems unlikely that monotonicity the sequence $k{{\mathbb P}}^{y} (N\geq k)$ holds in Thus, to obtain sharp results about the individual probabilities (N=k)$, will impose restrictive on offspring distribution that allow us to avoid the use of Karamata’s theorem. In its place, we will use a result Flajolet and that allows to information the asymptotic behavior coefficients of a power series from behavior on the circle $\Gamma$ of convergence. Our are most formulated in terms of the functions h (s)=2[\Psi (1-s)- (1-s)] \quad \text{and} \quad \kappa =\int_{0}^{s} h (s')\,ds',$$ where $\Psi$ is the probability generating function of the offspring distribution. Since series for a probability function has radius convergence the $h$ to an function $h (z)$ in the disk of radius $1$ centered at as does its integral $\kappa$. If the offspring distribution has then functions $h$ and are polynomials
 distribution, that is, in the laRge-$k$ behaviOr of tHe pRobAbIlitIes ${{\mAthbb P}}^{y}\{N \geq
k\}$.

\[thEOrem.Killed-number.weak\] If the oFfsprInG DistRIbUtion Has mean $1$, POsITIve VaRiAncE $\sIGmA^2$, and fIniTe third Moment then $$\LabEl{Eqn.killed-numBEr.Weak}
    \sum_{k=1}^{m} k{{\MatHbb P}}(N\geq k) \sim 2c_{7}y\sQrt{m} \quAd
    \TexT{ Where } \;\; c_7=\frAc{\sigMa}{\sqrt{6\PI}}.$$

The prOof, which wIlL Use a foRM of KaraMATa’S TauBerian theorem, will BE gIVen in section \[ssEc.killEd-NUmBER.weAk\].

IF we knew thaT tHe seqUEnce $k{{\maTHbB p}}^{Y} (n\geQ K)$ were monotone Then we could COncLude frOm ThaT ${{\Mathbb p}}^{y}
(N\geQ k)\SIm C_{7}Y/k^{3/2}$. However, it SeemS unlikely That moNOtoniciTY of the sEquencE $k{{\mAthBb P}}^{y} (n\GeQ k)$ HolDs IN geNErAl. THUs, tO obtain sHaRp AsympTotiC RESUlts AboUt thE indiVidual probabiLitIes ${\mAThbB{P}}^{y} (N=k)$, We wilL impOsE more RestriCtive HyPotheses on the ofFsprIng distriButIoN thAt Will aLLow us tO avOid The use oF KaramaTA’s tHeOREM. IN its place, we will use A rESUlT of FlajoLet and oDlYzKO [@FO90] that aLlOws One tO EXtracT infORmAtion aboUt the aSYmPtOtic behAvIor of tHe CoeFfiCientS Of a pOwer seRies from InforMAtion about its bEHavior on the ciRClE $\gAmMA$ of cOnvErgence. Our hYpotHEses Are mOSt ConVEnienTly foRmULaTEd in terms of the functIoNs $$\labeL{eqn.h.Kappa}
    h (s)=2[\Psi (1-s)- (1-s)] \qUad \text{and} \QUAD 
    \kappa (s) =\iNt_{0}^{s} h (S')\,Ds',$$ WHere $\Psi$ is the prObabiLity generaTIng functIon of The offspRing distrIBUtion. SinCe tHe pOweR seRIEs For a probabiliTY GeneRaTing funCtiOn has raDiuS of ConVerGeNce $1$, the funCtion $h$ exTeNdS tO aN anAlytiC Function $H (z)$ In tHe DisK of raDIus $1$ cenTered At $z=1$, aS dOeS Its IntegraL $\KaPPA$. If tHe OfFsprIng DiStribUtioN Has Finite sUpport theN thE FuncTiOnS $h$ and $\kaPpa$ are polynomIaLs
 distribution, that is, in  the large -$k$beh avi or  oftheprobabilities$ {{\m athbb P}}^{y}\{N \geqk\}$. 
\ [the o re m.kil led-num b er . w eak \]  I f t he of fspri ngdistrib ution hasmea n$1$, positiv e  v ariance $\ sig ma^2$, and f ini te thi rd  mo m ent t hen  $$\l abel{e q n.kill ed-number .w e ak}
  \sum_{ k = 1} ^{m}  k{{\mathbb P}}(N \ ge q  k) \sim 2C_{7 }y\sqr t{ m }\ q uad 
   \text{ w he re }\ ;\; C_7 = \f r a c {\s i gma}{\sqrt{6\ pi}}.$$

Th e  pr oof, w hi chw ill us e a f or m  of  Karamata’s  Tau berian th eorem, will be given i n sect ion  \[ ssec . ki ll ed- nu m ber . we ak\ ] .
If we kn ew  t hat t he s e q u e nce$k{ {\ma thbbP}}^{y} (N\ge q k )$ w e remonot one t henwe  coul d conc ludefr om that ${{\mat hbbP}}^{y}
( N\g eq  k) \s im C_ { 7}y/k^ {3/ 2}$ . Howev er, its eem su n l ik ely that monotonic it y of  the seq uence$ k{ {\ m athbb P} }^ {y}  (N\ g e q k)$  hol d sin gener al. Th u s,  t o obtai nsharpas ymp tot ic re s ults  about  the ind ividu a l probabilitie s  ${\mathbb{P} } ^{ y }  ( N =k)$ , w e will impo se m o re r estr i ct ive hypot heses  o n  t h e offspring distrib ut ion th at wi ll allow us t o avoid th e u se of Ka rama t a’ s  theorem. In i ts pl ace, we wi l l use aresul t of Fla jolet and O dlyzko [ @FO 90]  th ata l lo ws one to ext r a ct i nf ormatio n a bout th e a sym pto tic  b ehavior o f the co ef fi ci en tsof ap ower ser ie s f ro m i nform a tion a boutitsbe ha v ior  on the ci r c le $ \G am ma$ofco nverg ence .  Ou r hypot heses are  mo s t co nv en ientlyformulated in  t erms of th efun ctions $ $\label{ eqn.h.kappa}
    h (s)= 2 [\Psi ( 1-s )- (1 -s)]  \quad \t ext {and}\qu a d 
   \kapp a (s)  = \in t _ {0}^{ s }  h  (s ') \,ds',$$ w h e re$\Psi $is t he prob ability generating fun ction of theoff spri n g  d ist r ib u tio n. Sin c e  the power seri es for a p ro b ab ility gene r ati ng  functi on hasradiu s  of con vergence$1$, thefu ncti o n  $h $ extendsto an an alytic fu n ction $h  (z)$  in  the d is k o f rad ius $1 $  ce ntere d at $ z= 1$, as  does  i ts integ ral $\kappa$. If the of fsprin g dis tri bution ha s f i nit e support  the n the func tio ns$h$ a nd$ \kapp a$ a r epol y nomia ls
 distribution,_that is,_in the large-$k$ behavior_of the_probabilities_${{\mathbb P}}^{y}\{N_\geq
k\}$.

\[theorem.killed-number.weak\]_If the offspring_distribution has mean_$1$, positive variance $\sigma^2$,_and finite third_moment_then $$\label{eqn.killed-number.weak}
    \sum_{k=1}^{m} k{{\mathbb P}}(N\geq k) \sim 2C_{7}y\sqrt{m} \quad
  __\text{ where_}_\;\;_C_7=\frac{\sigma}{\sqrt{6\pi}}.$$

The proof, which will use_a form of Karamata’s Tauberian_theorem, will_be given in section \[ssec.killed-number.weak\].

If we knew that the_sequence_$k{{\mathbb P}}^{y} (N\geq_k)$ were monotone then we could conclude from that_${{\mathbb P}}^{y}
(N\geq k)\sim C_{7}y/k^{3/2}$. However, it_seems unlikely that_monotonicity_of_the sequence $k{{\mathbb P}}^{y}_(N\geq k)$ holds in general. Thus,_to obtain sharp asymptotic results about_the individual probabilities ${\mathbb{P}}^{y} (N=k)$, we will_impose more restrictive hypotheses on the_offspring distribution that will allow_us to_avoid the use of Karamata’s_theorem. In its_place, we_will use a_result of Flajolet and Odlyzko [@FO90]_that allows one_to extract information about the asymptotic_behavior_of the coefficients_of_a_power series_from information about_its_behavior on_the_circle $\Gamma$ of convergence. Our hypotheses_are_most conveniently formulated in terms of the_functions $$\label{eqn.h.kappa}
  __h (s)=2[\Psi (1-s)- (1-s)]_\quad \text{and} \quad 
 _  \kappa (s) =\int_{0}^{s} h_(s')\,ds',$$ where_$\Psi$ is_the probability generating function of the offspring distribution. Since the power_series for a probability generating function_has radius of convergence_$1$, the_function_$h$ extends to_an_analytic function_$h (z)$ in the disk of radius_$1$ centered_at $z=1$, as does its integral_$\kappa$. If the offspring_distribution_has finite support then the functions_$h$ and $\kappa$ are polynomials