A fancy way to obtain the binary digits of $759250125\sqrt{2}$

Thomas Stoll

R. L. Graham and H. O. Pollak observed that the sequence $$u_1=1,u_{n+1}=\lfloor \sqrt{2}(u_n+1/2)\rfloor ,n\ge 1,$$ has the curious property that the sequence of nu…