In fact, the latter series converges to 1, and it proves that one of the binary expansions of 1 is 0.111….
事实上，后者收敛得到1，而且它证明了1进行二进制扩展（binary expansion）后得到的是0.111…。