Bounded monotone sequences have no universal convergence rate

ID: bounded-monotone-sequences-have-no-universal-convergence-rate

Even restricting to increasing sequences in with limit of a sequence one gives no common stopping index. For any positive integer , define
This is an increasing bounded sequence converging to one, but its absolute error is one through index . Since can exceed any proposed index, the bounded monotone sequence theorem alone cannot say when the absolute error will fall below . A zero difference between two successive terms is also insufficient: the initial plateau eventually ends.
There is no universal eventual rate either. Let be any proposed positive nonincreasing sequence tending to zero, with . Set
Then is increasing, lies in , and converges to one, but for every sufficiently large its absolute error satisfies . Indeed, , so no fixed constant multiple of bounds the absolute error eventually. If a proposed rate is not nonincreasing, replace it, after a finite initial segment if necessary, by the decreasing envelope ; this also tends to zero, and the same construction defeats the original rate. This is an original construction, rather than a quantitative claim attributed to the qualitative theorem.
For a concrete slow example, increases to one, where is the natural logarithm. Its absolute error is , so making it less than requires , using the exponential function. At , this first happens at . The reciprocal and geometric examples in increasing and decreasing approximations to a common limit meet the same tolerance at and , respectively. All three obey the same bounded monotone sequence theorem.

New to topics? Read the docs here!