\documentclass[11pt]{article}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage{amssymb}
\usepackage[nomarginpar]{geometry}
\usepackage{color}
\usepackage{amsfonts}
\usepackage{amsmath}
\usepackage{fancyhdr}
\usepackage{multicol}
\usepackage{hyperref}
\usepackage{boxedminipage}
\usepackage{setspace}

\setcounter{MaxMatrixCols}{10}
%TCIDATA{OutputFilter=LATEX.DLL}
%TCIDATA{Version=5.00.0.2570}
%TCIDATA{<META NAME="SaveForMode" CONTENT="1">}
%TCIDATA{Created=Wednesday, July 12, 2006 00:27:03}
%TCIDATA{LastRevised=Sunday, September 26, 2021 09:52:53}
%TCIDATA{<META NAME="GraphicsSave" CONTENT="32">}
%TCIDATA{<META NAME="Title" CONTENT="Problem Set 1 - long - Math 207 - Spring 2011">}
%TCIDATA{<META NAME="DocumentShell" CONTENT="Scientific Notebook\Booklet #1 - with Instructions">}
%TCIDATA{CSTFile=40 LaTeX article.cst}
%TCIDATA{PageSetup=72,72,72,72,1}
%TCIDATA{ComputeGeneralSettings=0,15,15,0,0,0,0}
%TCIDATA{Counters=arabic,1}
%TCIDATA{ComputeDefs=
%$f\left( x\right) =\ln \left( \dfrac{x+1}{x-1}\right) $
%}

%TCIDATA{AllPages=
%H=36
%F=36,\PARA{038<p type="texpara" tag="Body Text" >\hfill \hfill }
%}


\newtheorem{theorem}{Theorem}
\newtheorem{acknowledgement}[theorem]{Acknowledgement}
\newtheorem{algorithm}[theorem]{Algorithm}
\newtheorem{axiom}[theorem]{Axiom}
\newtheorem{case}[theorem]{Case}
\newtheorem{claim}[theorem]{Claim}
\newtheorem{conclusion}[theorem]{Conclusion}
\newtheorem{condition}[theorem]{Condition}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{criterion}[theorem]{Criterion}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{exercise}[theorem]{Exercise}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{notation}[theorem]{Notation}
\newtheorem{problem}[theorem]{Problem}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{solution}[theorem]{Solution}
\newtheorem{summary}[theorem]{Summary}
\newenvironment{proof}[1][Proof]{\noindent\textbf{#1.} }{\ \rule{0.5em}{0.5em}}
\input{tcilatex}
\geometry{left=0.4in,right=0.5in,top=0.5in,bottom=0.4in}
\pagestyle{fancy}
\lhead{\color{blue} \large Lecture Notes}
\lfoot{\small   \copyright $\;$   Hidegkuti,  Powell,  2012}
\cfoot{}
\chead{\Large Sequences - Part 4}
\rfoot{\small Last revised: April 18, 2017}
\rhead{  page \thepage }
\textwidth 7.65in
\textheight 9.75in
\setlength{\headheight}{26pt}
\setlength{\parindent}{0pt}
\setlength{\parskip}{0.06in}

\begin{document}


%TCIMACRO{%
%\TeXButton{box start - 7.5in}{\begin{boxedminipage}{7.5in}
%\setlength{\fboxrule}{15pt}
%\setlength{\fboxsep}{15pt}}}%
%BeginExpansion
\begin{boxedminipage}{7.5in}
\setlength{\fboxrule}{15pt}
\setlength{\fboxsep}{15pt}%
%EndExpansion
%TCIMACRO{\TeXButton{white}{\color{white}}}%
%BeginExpansion
\color{white}%
%EndExpansion
.%
%TCIMACRO{\TeXButton{black}{\color{black}}}%
%BeginExpansion
\color{black}%
%EndExpansion

Theorem: \ (The Continuous Function Theorem for Sequences) \ \ Let $\left\{
a_{n}\right\} $ be a sequence of real numbers. \ 

\qquad If $a_{n}\rightarrow L$ and if $f$ is a function that is continuous
at $L$ and defined at all $a_{n}$, then $f\left( a_{n}\right) \rightarrow
f\left( L\right) $.%
%TCIMACRO{\TeXButton{end of box}{\end{boxedminipage}}}%
%BeginExpansion
\end{boxedminipage}%
%EndExpansion
\medskip

Example 1. \ a) $\ \sqrt{\dfrac{n+1}{n}}\rightarrow 1$\vspace{0.05in}

\qquad \qquad \qquad proof: \ $\dfrac{n+1}{n}\rightarrow 1$ and $f\left(
x\right) =\sqrt{x}$ is continuous at $x=1$. \ Thus $\sqrt{\dfrac{n+1}{n}}%
\rightarrow \sqrt{1}=1$\vspace{0.05in}

\qquad b) \ $\ln \left( \dfrac{n^{2}-1}{n^{2}+1}\right) \rightarrow \ln 1=0$%
\vspace{0.05in}

\qquad c) \ $2^{1/n}\rightarrow 2^{0}=1$\vspace{0.05in}

%TCIMACRO{%
%\TeXButton{box start - 7.5in}{\begin{boxedminipage}{7.5in}
%\setlength{\fboxrule}{15pt}
%\setlength{\fboxsep}{15pt}}}%
%BeginExpansion
\begin{boxedminipage}{7.5in}
\setlength{\fboxrule}{15pt}
\setlength{\fboxsep}{15pt}%
%EndExpansion
%TCIMACRO{\TeXButton{white}{\color{white}}}%
%BeginExpansion
\color{white}%
%EndExpansion
.%
%TCIMACRO{\TeXButton{black}{\color{black}}}%
%BeginExpansion
\color{black}%
%EndExpansion

Theorem: \ Suppose that $f\left( x\right) $ is a function defined for all $%
x\geq n_{0}$ for some $n_{0}\in 
%TCIMACRO{\U{2115} }%
%BeginExpansion
\mathbb{N}
%EndExpansion
$ and that $\left\{ a_{n}\right\} $ is a sequence of real numbers such that $%
a_{n}=f\left( n\right) $ for all $n\geq n_{0}$ \ Then 
\begin{equation*}
\text{if }\lim\limits_{x\rightarrow \infty }f\left( x\right) =L\text{, then }%
\lim\limits_{n\rightarrow \infty }a_{n}=L
\end{equation*}%
%TCIMACRO{\TeXButton{end of box}{\end{boxedminipage}}}%
%BeginExpansion
\end{boxedminipage}%
%EndExpansion
\vspace{0.05in}

Then we can apply L'H%
%TCIMACRO{\TeXButton{ekezet}{\^{o}}}%
%BeginExpansion
\^{o}%
%EndExpansion
pital's rule to find limits of sequences.\vspace{0.05in}

Example 2. \ a) \ $\lim\limits_{n\rightarrow \infty }\dfrac{\ln n}{n}=0$%
\vspace{0.05in}

\qquad \qquad proof: \ $\lim\limits_{n\rightarrow \infty }\dfrac{\ln n}{n}%
=\lim\limits_{x\rightarrow \infty }\dfrac{\ln x}{x}=\lim\limits_{x%
\rightarrow \infty }\dfrac{\dfrac{1}{x}}{1}=0$\vspace{0.05in}

b) \ $\lim\limits_{n\rightarrow \infty }\left( \dfrac{n+1}{n-1}\right)
^{n}=e^{2}$\vspace{0.05in}

\qquad \qquad proof: \ $\ln a_{n}=\ln \left( \dfrac{n+1}{n-1}\right)
^{n}=n\ln \left( \dfrac{n+1}{n-1}\right) =\dfrac{\ln \left( \dfrac{n+1}{n-1}%
\right) }{\dfrac{1}{n}}\medskip $ \ - This is an indeterminate of type $%
\dfrac{0}{0}$.$\medskip $

\qquad $\lim\limits_{n\rightarrow \infty }\ln
a_{n}=\lim\limits_{n\rightarrow \infty }\dfrac{\ln \left( \dfrac{n+1}{n-1}%
\right) }{\dfrac{1}{n}}=\lim\limits_{n\rightarrow \infty }\dfrac{-\dfrac{2}{%
n^{2}-1}}{-\dfrac{1}{n^{2}}}=\lim\limits_{n\rightarrow \infty }\left( -%
\dfrac{2}{n^{2}-1}\right) \left( -n^{2}\right) =\lim\limits_{n\rightarrow
\infty }\dfrac{2n^{2}}{n^{2}-1}=2\bigskip $

$\qquad \ln a_{n}\rightarrow 2$ and $f\left( x\right) =e^{x}$ is continuous
on $%
%TCIMACRO{\U{211d} }%
%BeginExpansion
\mathbb{R}
%EndExpansion
$. \ thus $a_{n}=e^{\ln a_{n}}\rightarrow e^{2}$\vspace{0.05in}

%TCIMACRO{%
%\TeXButton{box start - 7.5in}{\begin{boxedminipage}{7.5in}
%\setlength{\fboxrule}{15pt}
%\setlength{\fboxsep}{15pt}}}%
%BeginExpansion
\begin{boxedminipage}{7.5in}
\setlength{\fboxrule}{15pt}
\setlength{\fboxsep}{15pt}%
%EndExpansion
%TCIMACRO{\TeXButton{white}{\color{white}}}%
%BeginExpansion
\color{white}%
%EndExpansion
.%
%TCIMACRO{\TeXButton{black}{\color{black}}}%
%BeginExpansion
\color{black}%
%EndExpansion

Commonly Occurring Limits. \ In each of the following, $x$ is a fixed number.%
\vspace{0.05in}%
%TCIMACRO{\TeXButton{2col begin}{\begin{multicols}{2}}}%
%BeginExpansion
\begin{multicols}{2}%
%EndExpansion

\begin{enumerate}
\item $\lim\limits_{n\rightarrow \infty }\dfrac{\ln n}{n}=0$

\item $\lim\limits_{n\rightarrow \infty }\sqrt[n]{n}=1$

\item $\lim\limits_{n\rightarrow \infty }x^{1/n}=1$ \ \ \ $\ \ x>0$

\item $\lim\limits_{n\rightarrow \infty }x^{n}=0$ \ \ \ \ \ $-1<x<1$

\item $\lim\limits_{n\rightarrow \infty }\left( 1+\dfrac{x}{n}\right)
^{n}=e^{x}$ \ \ \ \ (any $x$)

\item $\lim\limits_{n\rightarrow \infty }\dfrac{x^{n}}{n!}=0$ \ \ \ \ \ (any 
$x$) \ \vspace{0.04in}
\end{enumerate}

%TCIMACRO{\TeXButton{multcol end}{\end{multicols}} }%
%BeginExpansion
\end{multicols}
%EndExpansion
%TCIMACRO{\TeXButton{end of box}{\end{boxedminipage}}}%
%BeginExpansion
\end{boxedminipage}%
%EndExpansion
\vspace{0.05in}\vspace{0.05in}

proof. \ 1) was done using L'H%
%TCIMACRO{\TeXButton{ekezet}{\^{o}}}%
%BeginExpansion
\^{o}%
%EndExpansion
pital's rule.\vspace{0.05in}

\qquad 2) \ $\lim\limits_{n\rightarrow \infty }\sqrt[n]{n}=1$

$\qquad $proof: $\ \lim\limits_{n\rightarrow \infty }\sqrt[n]{n}%
=\lim\limits_{n\rightarrow \infty }n^{1/n}=\lim\limits_{x\rightarrow \infty
}x^{1/x}$\qquad We will think of $x^{1/x}$ as $e^{\ln \left( x^{1/x}\right)
} $

$\qquad \lim\limits_{x\rightarrow \infty }\ln \left( x^{1/x}\right)
=\lim\limits_{x\rightarrow \infty }\dfrac{1}{x}\ln
x=\lim\limits_{x\rightarrow \infty }\dfrac{\ln x}{x}=0$\vspace{0.05in}

$\qquad f\left( x\right) =e^{x}$ is continuous on $%
%TCIMACRO{\U{211d} }%
%BeginExpansion
\mathbb{R}
%EndExpansion
$

$\qquad \ln \left( x^{1/x}\right) \rightarrow 0$ and so $e^{\ln \left(
x^{1/x}\right) }\rightarrow e^{0}$ \ \ and so\ \ \ $x^{1/x}\rightarrow 1$%
\vspace{0.05in}

\qquad 3) \ $\lim\limits_{n\rightarrow \infty }a^{1/n}=1$ \ \ \ $\ \ a>0$%
\vspace{0.05in}

proof: \ We will prove that $\lim\limits_{x\rightarrow \infty }a^{1/x}=1$

\begin{equation*}
\lim\limits_{x\rightarrow \infty }a^{1/x}=\lim\limits_{x\rightarrow \infty
}e^{\ln a^{1/x}}=\lim\limits_{x\rightarrow \infty }e^{1/x\ln a}=e^{0}=1
\end{equation*}

\qquad 4) \ $\lim\limits_{n\rightarrow \infty }x^{n}=0$ \ for all$\ \ x$
with \ $-1<x<1$\vspace{0.05in}

proof: \ Let $\varepsilon >0$ be given. \ Since (by limit 3) \ $%
\lim\limits_{n\rightarrow \infty }\varepsilon ^{1/n}=1$ and $\left\vert
x\right\vert <1$, there exists $N$ such that for all $n>N$, 
\begin{equation*}
\varepsilon ^{1/n}>\left\vert x\right\vert \text{ \ and so \ }\varepsilon
>\left\vert x\right\vert ^{n}\geq x^{n}
\end{equation*}

\qquad 5.) \ $\lim\limits_{n\rightarrow \infty }\left( 1+\dfrac{x}{n}\right)
^{n}=e^{x}$ \ \ \ \ for any $x$\vspace{0.05in}

\qquad proof: \ We will present two methods. \ In the first method, we will
use the fact that $e=\lim\limits_{n\rightarrow \infty }\left( 1+\dfrac{1}{n}%
\right) ^{n}$.%
\begin{equation*}
\lim\limits_{n\rightarrow \infty }\left( 1+\dfrac{x}{n}\right)
^{n}=\lim\limits_{n\rightarrow \infty }\left( 1+\dfrac{1}{~\dfrac{n}{x}~}%
\right) ^{n}=\lim\limits_{n\rightarrow \infty }\left( 1+\dfrac{1}{~\dfrac{n}{%
x}~}\right) ^{\dfrac{n}{x}\cdot x}=\lim\limits_{n\rightarrow \infty }\left[
\left( 1+\dfrac{1}{~\dfrac{n}{x}~}\right) ^{\dfrac{n}{x}}\right] ^{x}=\left[
\lim\limits_{n\rightarrow \infty }\left( 1+\dfrac{1}{~\dfrac{n}{x}~}\right)
^{\dfrac{n}{x}}\right] ^{x}=e^{x}
\end{equation*}%
\vspace{0.05in}

\qquad Method 2: \ We will use the identity $x=e^{\ln x}$\ \ and L'H%
%TCIMACRO{\TeXButton{ekezet}{\^{o}}}%
%BeginExpansion
\^{o}%
%EndExpansion
pital's rule.%
\begin{equation*}
\lim\limits_{n\rightarrow \infty }\left( 1+\dfrac{x}{n}\right)
^{n}=\lim\limits_{n\rightarrow \infty }e^{\ln \left( 1+\tfrac{x}{n}\right)
^{n}}=e^{\lim\limits_{n\rightarrow \infty }\ln \left( 1+\tfrac{x}{n}\right)
^{n}}=e^{\lim\limits_{n\rightarrow \infty }n\ln \left( 1+\tfrac{x}{n}\right)
}=e^{\lim\limits_{n\rightarrow \infty }\dfrac{\ln \left( 1+\tfrac{x}{n}%
\right) }{\tfrac{1}{n}}}=e^{M}
\end{equation*}%
The exponent is now an indeterminate of the type $\dfrac{0}{0}$, so we may
apply L'H%
%TCIMACRO{\TeXButton{ekezet}{\^{o}}}%
%BeginExpansion
\^{o}%
%EndExpansion
pital's rule. \ We differentiate with respect to $n$. \ 
\begin{equation*}
M=\lim\limits_{n\rightarrow \infty }\dfrac{\ln \left( 1+\dfrac{x}{n}\right) 
}{\dfrac{1}{n}}=\lim\limits_{n\rightarrow \infty }\dfrac{\dfrac{1}{1+\dfrac{x%
}{n}}\cdot \left( -\dfrac{x}{n^{2}}\right) }{-\dfrac{1}{n^{2}}}%
=\lim\limits_{n\rightarrow \infty }\dfrac{\dfrac{1}{\dfrac{n+x}{n}}\cdot
\left( -\dfrac{x}{n^{2}}\right) }{-\dfrac{1}{n^{2}}}=\lim\limits_{n%
\rightarrow \infty }\dfrac{n}{n+x}\cdot \left( -\dfrac{x}{n^{2}}\right)
\cdot \left( -n^{2}\right) =\lim\limits_{n\rightarrow \infty }\dfrac{nx}{n+x}
\end{equation*}%
We may apply L'H%
%TCIMACRO{\TeXButton{ekezet}{\^{o}}}%
%BeginExpansion
\^{o}%
%EndExpansion
pital's rule again or just divide both numerator and denominator by $n$ to
see that this limit $M=x$:%
\begin{equation*}
\lim\limits_{n\rightarrow \infty }\dfrac{nx}{n+x}=\lim\limits_{n\rightarrow
\infty }\dfrac{x}{1+\dfrac{x}{n}}=x
\end{equation*}%
and so the entire limit is $e^{M}=e^{x}$.\vspace{0.05in}

\qquad 6.) \ $\lim\limits_{n\rightarrow \infty }\dfrac{x^{n}}{n!}=0$ \ \ \ \
\ (any $x$)\vspace{0.05in}

\qquad proof: \ Let us first assume that $x>0$. \ Let $M$ be an integer for
which $\dfrac{x}{M}<1$.

\begin{eqnarray*}
\dfrac{x^{n}}{n!} &=&\dfrac{x\cdot x\cdot ...\cdot x}{1\cdot 2\cdot 3\cdot
...\cdot n}=\dfrac{x\cdot x\cdot ...\cdot x}{1\cdot 2\cdot 3\cdot ...\cdot
M\cdot \left( M+1\right) \cdot \left( M+2\right) \cdot ...\cdot n} \\
&\leq &\dfrac{x^{n}}{1\cdot 2\cdot 3\cdot ...\cdot M\cdot M\cdot M\cdot
...\cdot M}=\dfrac{x^{n}}{M!\cdot M^{n-M}} \\
&=&\dfrac{x^{n}}{M!\cdot M^{n-M}}\cdot \dfrac{M^{M}}{M^{M}}=\dfrac{M^{M}}{M!}%
\cdot \dfrac{x^{n}}{M^{n}}=\dfrac{M^{M}}{M!}\left( \dfrac{x}{M}\right) ^{n}
\end{eqnarray*}%
\bigskip

Since $\dfrac{M^{M}}{M!}$ is a constant and $\left( \dfrac{x}{M}\right)
^{n}\rightarrow 0$, so does $\dfrac{x^{n}}{n!}$.

If $x\leq 0$, then we use the sandwich theorem:%
\begin{equation*}
-\left\vert \dfrac{x^{n}}{n!}\right\vert \leq \dfrac{x^{n}}{n!}\leq
\left\vert \dfrac{x^{n}}{n!}\right\vert
\end{equation*}%
and since $\left\vert \dfrac{x^{n}}{n!}\right\vert \rightarrow 0$, we also
have $\dfrac{x^{n}}{n!}\rightarrow 0$.

\vspace{0.4in}

\vspace{1in}

\vspace{0.7in}

\vspace{0.8in}\vspace{0.9in}\vspace{0.99in}

{\small 
%TCIMACRO{\TeXButton{\small}{\small}}%
%BeginExpansion
\small%
%EndExpansion
}

\href{https://teaching.martahidegkuti.com/shared/lnotes/lecturenotes.html}{%
For more documents like this, visit our page at\
https://teaching.martahidegkuti.com and click on Lecture Notes. \ E-mail
questions or comments to mhidegkuti@ccc.edu.}

\end{document}