$\epsilon$-$\delta$ proof of $\lim_{x \to 3} x^2 = 9$ I've been learning about $\epsilon$-$\delta$ proofs and attempted to come up with my own proof that
$$
\lim_{x \to 3} x^2 = 9
$$
exists (I did use some help from some textbooks). Is my proof valid and free of redundancies? My proof:
Scratch work:
Written formally, this is:
$$
\forall \epsilon > 0, \exists \delta > 0 \text{ s.t. } 0 < |x - 3| < \delta \implies |x^2 - 9| < \epsilon
$$
We start off by simplifying the conclusion of the implication:
$$
|x^2 - 9| = |x + 3|\cdot  |x - 3|
$$
Now we have $|x + 3| \cdot |x - 3| < \epsilon$. Because $|x - 3| < \delta$, we have $|x - 3| \cdot |x + 3|  < \delta |x + 3|$. In an attempt to find a suitable $\delta$, we let $\delta|x + 3| < \epsilon$. Solving for $\delta$, we get $\delta < \frac{\epsilon}{|x + 3|}$. There is a problem though: $\delta$ is defined in terms of $\epsilon$ and the randomly chose point $x$. The definition of $\delta$ can only depend on $\epsilon$. To get around this problem, we will have to estimate the size of $|x + 3|$.
We start of by assuming that $\delta < 1$, which implies that $|x - 3| < 1$. Solving for $x + 3$, we get $5 < x + 3 < 7$. We now know that $|x + 3| < 7$ when $\delta < 1$.  Since $|x^2 - 9| < \delta|x + 3|$ and $|x + 3| < 7$ (if $\delta < 1$), we have $|x^2 - 9| < 7 \delta$. In an attempt to find a suitable $\delta$, we let $7 \delta < \epsilon$. Solving for $\delta$, we get $\delta < \frac{\epsilon}{7}$ when $\delta < 1$. So we have now deduced two restrictions: $\delta < 1$ and $\delta < \frac{\epsilon}{7}$. To satisfy both restrictions, we let $\delta < \min \left\{ 1, \frac{\epsilon}{7} \right\}$. When $\epsilon > 7$, then $\delta < 1$ and when $\epsilon < 7$, we have $\delta < \frac{\epsilon}{7}$. We can now write up the proof.
Proof:
For every $\epsilon > 0$ there exists a $0 < \delta < \min \left\{ 1, \frac{\epsilon}{7} \right\}$ such that $0 < |x - 3| < \delta \implies |x^2 - 9| < \epsilon$. There are two things that can happen: $\delta < 1$ and $\delta < \frac{\epsilon}{7}$.
Case 1 - $\delta < 1$:
The implication's hypothesis is $0 < |x - 3| < \delta$. Multiply both sides by $|x + 3|$ to get $0 < |x^2 - 9| < |x + 3| \delta$. Because $\delta < 1$, we know (from our scratchwork) that $|x + 3| < 7$ and $\delta$ is also less that $\frac{\epsilon}{7}$. This means that $0 < |x^2 - 9| < |x + 3| \delta < 7 \delta < [7 \frac{\epsilon}{7} = \epsilon]$.
Case 2 - $\delta < \frac{\epsilon}{7}$:
For $\delta$ to be less that $\frac{\epsilon}{7}$, we must have that $\frac{\epsilon}{7} < 1$ (as per the definition of $\min$). Because $\delta < \frac{\epsilon}{7}$ and $\frac{\epsilon}{7} < 1$ we have $\delta < 1$. Look to Case 1 for what follows after.
$\square{}$

There is no need to consider several cases. Define $\delta=\min\left\{\frac\varepsilon7,1\right\}$. Then, if $|x-3|<\delta$, it follows from your computations that$$\left|x^2-9\right|=|x-3||x+3|<\frac\varepsilon7\times7=\varepsilon.$$
