No es la respuesta, pero posiblemente una reformulación útil
Supongo que el comentario hecho anteriormente es correcto (es decir, la suma tiene 2n+1 términos).
Denote
pn(ρ)=P(Kn>ρ2n)=P(Kn/2n>ρ)
Observe que
pn(ρ1)>pn(ρ2) if
ρ1<ρ2
Primer punto: si pregunta si existe tal ρ para todos n, debe mostrar que para algunos δ el límite es positivo
limn→∞pn(δ)>0
entonces, si
pn(δ) tiene un límite positivo y todos los valores son positivos, debe separarse de cero, digamos
pn(δ)>ε . Entonces
pn(min(ε,δ))≥pn(δ)>ε≥min(ε,δ)
por lo que ha deseado la propiedad para
ρ=min(ε,δ) .
Entonces solo necesita mostrar el límite de pn para que sea positivo.
Luego investigaría la variable Kn/2n y su valor esperado