In alternativa all'ottima risposta di Whuber, cercherò di ricavare il limite esatto della probabilità in questione. Una delle proprietà della distribuzione gamma è che le somme di variabili casuali gamma indipendenti con lo stesso parametro rate / scale sono anche variabili gamma casuali con forma uguale alla somma delle forme di tali variabili. (Ciò può essere facilmente dimostrato utilizzando le funzioni generatrici della distribuzione.) Nel presente caso abbiamo , quindi otteniamo la somma:X1,...Xn∼IID Gamma(3,1)
Sn≡X1+⋯+Xn∼Gamma(3n,1).
Possiamo quindi scrivere l'esatta probabilità di interesse usando il CDF della distribuzione gamma. Lasciando denota il parametro shape e denota l'argomento di interesse, abbiamo:a=3nx=3(n−n−−√)
H(n)≡P(Sn≥3(n−n−−√))=Γ(a,x)Γ(a)=aΓ(a)aΓ(a)+xae−x⋅Γ(a+1,x)Γ(a+1).
Per trovare il limite di questa probabilità, notiamo innanzitutto che possiamo scrivere il secondo parametro in termini di primo come dove . Usando un risultato mostrato in Temme (1975) (Eqn 1.4, p. 1109) abbiamo l'equivalenza asintotica:x=a+2a−−√⋅yy=−3/2−−−√
Γ(a+1,x)Γ(a+1)∼12+12⋅erf(−y)+29aπ−−−−√(1+y2)exp(−y2).
Utilizzando l'approssimazione di Stirling e la definizione limitante del numero esponenziale, si può anche dimostrare che:
aΓ(a)aΓ(a)+xae−x∼2π−−√⋅a⋅(a−1)a−1/22π−−√⋅a⋅(a−1)a−1/2+xa⋅ea−x−1=2π−−√⋅a⋅(1−1a)a−1/22π−−√⋅a⋅(1−1a)a−1/2+x−−√⋅(xa)a−1/2⋅ea−x−1=2π−−√⋅a⋅e−12π−−√⋅a⋅e−1+x−−√⋅ex−a⋅ea−x−1=2π−−√⋅a2π−−√⋅a+x−−√∼2πa−−−√2πa−−−√+1.
Sostituendo i valori rilevanti, otteniamo quindi:
H(n)=aΓ(a)aΓ(a)+xae−x⋅Γ(a+1,x)Γ(a+1)∼2πa−−−√2πa−−−√+1⋅[12+12⋅erf(32−−√)+29aπ−−−−√⋅52⋅exp(32)].
Questo ci dà il limite:
limn→∞H(n)=12+12⋅erf(32−−√)=0.9583677.
Questo ci dà il limite esatto della probabilità di interesse, che è maggiore della metà.