Homepage Solution manuals Terence Tao Analysis I Exercise 6.1.6 (Formal limits are genuine limits)

Exercise 6.1.6 (Formal limits are genuine limits)

Prove Proposition 6.1.15, using the following outline.

Proposition 6.1.15. Suppose that (an)n=1 is a Cauchy sequence of rational numbers. Then (an)n=1 converges to LIMnan, i.e.

LIMnan = lim nan.