diff options
author | Preston Pan <preston@nullring.xyz> | 2024-06-28 21:30:42 -0700 |
---|---|---|
committer | Preston Pan <preston@nullring.xyz> | 2024-06-28 21:30:42 -0700 |
commit | e7dd5245c35d2794f59bcf700a6a92009ec8c478 (patch) | |
tree | 0d0e81552f0426f8b715bd5bd3bdd0856058db2c /mindmap/limit.org | |
parent | 01ba01763b81a838dcbac4c08243804e068495b9 (diff) |
stuff
Diffstat (limited to 'mindmap/limit.org')
-rw-r--r-- | mindmap/limit.org | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/mindmap/limit.org b/mindmap/limit.org index 65ae15f..22b3280 100644 --- a/mindmap/limit.org +++ b/mindmap/limit.org @@ -49,10 +49,22 @@ We know: \begin{align*} \lim s_{n} = s \iff \forall \epsilon > 0, \exists N, n > N \implies | s_{n} - s | < \epsilon \\ \end{align*} - +which is equivalent to: +\begin{align*} +\lim s_{n} = s \iff \forall \epsilon > 0, \exists N, n > N \implies s - \epsilon < s_{n} < s + \epsilon +\end{align*} and our sequence $\{s_{n}\}$ is monotone. If $\{s_{n}\}$ is increasing, we have: \begin{align*} s_{n + 1} \ge s_{n} \end{align*} -for all n. +for all n. Without loss of generality we shall assume $\{s_{n}\}$ is increasing. Then we take two cases: +1. $\{s_{n}\}$ is bounded. +2. $\{s_{n}\}$ is unbounded. +In the case $\{s_{n}\}$ is bounded: +\begin{align} +\label{} +\exists M, \forall n, s_{n} \le M \\ +s_{0} \le ... \le s_{n} \le s_{n + 1} \le s_{n + 2} \le ... \le M +\end{align} + #+end_proof |