I'm seeing a lot of LaTex errors in this. I hope you don't mind but I've had a go at editing some but I'm worried I might have changed your proof in the process. Please have a look and see if it's ok. Also ask if you are unsure of the Latex that works for MIF. Not all feaures of the coding do, I'm sorry. What did you want list to do? Some frac errors towards the end.

Bob

]]>for some real number

Let

such that . DefineThen for some

Thus

Therefore

Looking at the sequence of partial sums

:Hence

So

Therefore

Now pick some positive real number *r*. Define

Then for all integers *n* such that

So if you pick some , then there exists an integer

Hence

Define

for .

So finally we get

]]>