==> analysis/sequence.p <==
Show that in the sequence: x, 2x, 3x, .... (n-1)x (x can be any real number)
there is at least one number which is within 1/n of an integer.