Sea $d$ un entero positivo que no es un cuadrado perfecto. Para cada entero positivo $n$, sea $s(n)$ el número de dígitos $1$ entre los primeros $n$ dígitos de la representación binaria de $\sqrt{d}$ (incluyendo los dígitos antes del punto). Demuestra que existe un entero $A$ tal que $s(n)>\sqrt{2n}-2$ para todos los enteros $n\ge A$.