TAOCP 3.3.3 Exercise 3
Hmm.
Section 3.3.3: Theoretical Tests
Exercise 3. [M23] (N. J. Fine.) Prove that $\left|\sum_{n=0}^{t-1}((2^n x + \frac{1}{2}))\right| < 1$ for all real numbers $x$.
Verified: no
Solve time: 9m16s
Hmm...something seems to have gone wrong.