Sea $a<1<b$ . Demuestro que para grandes $n$ :
1) la probabilidad de que una secuencia aleatoria de longitud $n$ tiene al menos $B:=b\log_2 n$ ceros consecutivos es como máximo $n^{1-b}$ ;
2) la probabilidad de que una secuencia aleatoria de longitud $n$ no contiene $A:=\lfloor a\log_2 n\rfloor$ ceros consecutivos es como máximo $e^{-n^{1-a+o(1)}}=O(n^{-M})$ para cualquier $M>0$ .
Pruebas. 1) Para cada lugar posible de $\lceil B\rceil $ posiciones consecutivas consideran el suceso: todas las posiciones son 0. Denotemos estos sucesos $E_1,E_2,\dots$ . La suma de sus probabilidades no supera $$\frac{n}{2^B}\leqslant n^{1-b}. $$
2) Elija $m:=\lfloor n/A\rfloor$ segmentos disjuntos de $A$ lugares consecutivos. La probabilidad de que ninguno de ellos contenga sólo ceros es igual a $$ (1-2^{-A})^m\leqslant e^{-m\cdot 2^{-A}}=e^{-n^{1-a+o(1)}} $$