From 9cdbb21a6a74626b0a6a9a277cdb48cd3e644822 Mon Sep 17 00:00:00 2001 From: Fabian Gabel <fabian.gabel@tuhh.de> Date: Thu, 2 Jun 2022 20:28:55 +0200 Subject: [PATCH] fix latex --- nodes/114/114.tex | 1 + 1 file changed, 1 insertion(+) diff --git a/nodes/114/114.tex b/nodes/114/114.tex index b11eaa2f..63c3bc40 100644 --- a/nodes/114/114.tex +++ b/nodes/114/114.tex @@ -8,6 +8,7 @@ \item \emph{monotonically decreasing} if for all $n\in\mathbb{N}$ holds $a_n\geq a_{n+1}$. \item \emph{strictly monotonically decreasing} if for all $n\in\mathbb{N}$ holds $a_n > a_{n+1}$. \end{enumerate} +\end{Definition} We make essential use of Dedekind's theorem to prove the following result: \begin{Theorem}[Convergence of bounded and monotonic sequences]\label{thm:monbndseq} -- GitLab