Square Root of 2/Binary Expansion

Binary Expansion
The binary expansion of the square root of $2$ starts:
 * $\sqrt 2 \approx 1 \cdotp 01101 \, 01000 \, 00 \ldots$