If $\frac{1}{\sqrt{2}}$ is representend in binary the value is $0.10110101000001...$ How can we represent the number above after inserting a zero between each digit ($0.1000101000100010000000000010$) with a formula (function)? (this formula should contain decimals constans)
EDIT: If such formula (function) doesn't exist, how to prove it?