==> analysis/sequence.s <==
Throw 0 into the sequence; there are now n numbers, so some pair must
have fractional parts within 1/n of each other; their difference is
then within 1/n of an integer.