Skip to main content

Lean Calculus

Section 2.2 Basic Properties

In light of the definition of continuity from the previous section, we see that Corollary 1.3.7 and Theorem 1.3.8 are really saying ...
The basic limit properties then yield the following
So, for example, if we want to calculate the limit of \(tan(x)\) at \(7.2\text{,}\) it’s very easy since we know from the corollary above that \(tan(x)\text{,}\) which is simply \(sin(x)/cos(x)\) is continuous at \(7.2\text{.}\) Thus
\begin{equation*} \displaystyle \lim_{x\to 7.2}tan(x)=tan(7.2) \end{equation*}