Bien, no era demasiado difícil en la final. Vamos a escribir $S(p,k)$ para la probabilidad de éxito en la transmisión de un bit, cuando una repetición de código de longitud $2k+1$ es utilizado. Celebrado por zyx (y a mí) la pregunta es muy interesante, sólo, cuando se $0<p<1/2$.
El reclamo es que para todos los $p$ en este rango y todos los enteros positivos $k$ tenemos la desigualdad
$$
S(p,k+1)>S(p,k).
$$
Para probar que esto suponga que una repetición de código de longitud $2k+3$ se usa una vez. W. l.o.g. podemos suponer que 0 se transmite, por lo que en el recibido bitstring de longitud $2k+3$ cualquier bit es igual a $0$ con una probabilidad de $1-p$ e igual a $1$ el (cross-over) probabilidad de $p$.
La transmisión es correcta, iff la mayoría de los bits de ceros. Veamos la subcadena $s$ de la primera $2k+1$ bits. Una mayoría de estas son de 0 con probabilidad
$S(p,k)$.
Con el fin de analizar el efecto de los dos bits adicionales necesitamos definir dos eventos:
Llame a $s$ a casi el éxito de la cadena (NS), si tiene exactamente $k$ 0s y, en consecuencia, exactamente $k+1$ 1s. IOW, el mensaje correcto perdió por un solo voto. De manera similar llamada $s$ a casi el error de cadena (NF), si el mensaje correcto ganó por un solo voto, es decir no eran exactamente $k+1$ 0 $k$ 1 $s$.
Cuando no el receptor de ver todas las $2k+3$ bits de hacer una decisión correcta acerca de la transmisión de bits? Vemos que su decisión será la misma que con la inicial $2k+1$ bits de $s$, excepto en los dos casos, donde los dos últimos bits son 1, y la cadena de $s$ es casi fracasó, y también en el caso, donde los dos últimos bits son 0, y la cadena de $s$ fue casi un éxito. Así, obtenemos la fórmula
$$
S(p,k+1)=S(p,k)+(1-p)^2 P(NS) p^2P(NF).
$$
Aquí la distribución binomial nos dice que
$$
P(NS)={2k+1\elegir k}p^{k+1}(1-p)^k,\qquad P(NF)={2k+1\elegir k+1}p^k(1-p)^{k+1}.
$$
Por lo tanto, dos de los coeficientes binomiales son iguales)
$$
(1-p)^2P(NS) p^2P(NF)={2k+1\elegir k}p^{k+1}(1-p)^{k+1}(1-2p)>0.
$$
Por lo tanto $S(p,k+1)>S(p,k)$ como se reivindica.