Math and science::Analysis::Tao::06. Limits of sequences
Square root, expressed as the limit of a sequence
Let be a real. The sequence defined recursively below
converges, and it converges to .
Let , and let be defined like so:
Proof by induction (any other typical methods) can be used to show that
sequences defined recursively like this do (or don't) converge.
Intuition
The outer factor can be seen as taking an average of the
two inner terms. Inspecting the second term, , the third, , and so on, one can be convinced that this sequences is increasing
starting from the third term. In addition, it can be seen that
the terms don't surpass . While not a exactly convincing as a
proof, you can check if a term did surpass , then the
following term would be less than that term.
Source
Abbott, p54