TY - RPRT TI - A note on normality of $\sqrt{2}$ in base 2 AU - Pierpaolo Uberti PY - 2018 UR - https://arxiv.org/abs/1807.07338 ID - 1807.07338 ER -