El entero positivo $d$ 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 en la representación binaria de $\sqrt{d}$ (incluyendo los dígitos antes del punto). Demuestre que existe un entero $A$ tal que $s(n)>\sqrt{2n}-2$ para todos los enteros $n\ge A$.