Using $\delta-\epsilon$ I find that using the solution manuals $\delta \lt 1$:
$$|x+4|x-1|\lt6|x-1|\lt \epsilon$$
This leave me with:
$$|x-1|\lt \frac{\epsilon}{6} $$
Now I can pick that $\delta\lt$ min{1,$\frac{\epsilon}{6}$} and this satisfies the condition on |x-1|, correct?
My questions are:
1.) Why have we picked $\delta \lt 1$ and not $\delta=1$ or any other number for that matter?
2.) When is picking a certain delta wrong? (i.e. maybe when there's an issue with the domain?)
3.) How do I do a post-proof check to make sure what I did is correct?
The reason they picked $\delta < 1$ is so that: $$\lvert x-1 \rvert < \delta < 1 \implies -1 < x-1 < 1 \implies 0 < x < 2$$ Thus, $x$ is between $0$ and $2$ so $\lvert x+4 \rvert$ is now bounded between $4$ and $6$ and thus $\lvert x+4 \rvert < 6$. We can now divide both sides of the inequality by $6$ as they did to bound $\lvert x-1 \rvert$ in terms of $\epsilon$.
However, we didn't need to pick $1$. Let's pick $e^\pi$ instead because why not? If $\delta < e^\pi$, then we have: $$\lvert x-1 \rvert < \delta < e^\pi \implies -e^\pi < x-1 < e^\pi \implies -e^\pi+1 < x < e^\pi+1$$ Now, $\lvert x+4 \rvert$ has a maximum of either $\lvert -e^\pi+1+4 \rvert=\lvert 5-e^\pi \rvert$ or a maximum of $\lvert e^\pi+1+4 \rvert=\lvert e^\pi+5 \rvert$. It doesn't matter which one is bigger; what matters is that $\lvert x+4 \rvert$ is bounded by a maximum which we'll call $m$. Thus, we have: $$\lvert x+4 \rvert\cdot \lvert x-1 \rvert < m\lvert x-1 \rvert < \epsilon \implies \lvert x-1 \rvert < \frac{\epsilon}{m}$$ Thus, we have $\delta=\min\left(e^\pi, \frac{\epsilon}{m}\right)$ where $m=\max(\lvert 5-e^\pi\rvert, \lvert e^\pi+5\rvert)$.
Now, to do a post-proof check, we start with our inequality $\lvert x-1 \rvert < \min(1, \frac{\epsilon}{6})$ and then work our way toward $\lvert x^2+3x-1 \rvert < \epsilon$. Now, the nice thing about our initial inequality is that we really have two inequalities: $$\lvert x-1 \rvert < \min\left(1, \frac{\epsilon}{6}\right) < 1$$ $$\lvert x-1 \rvert < \min\left(1, \frac{\epsilon}{6}\right) < \frac{\epsilon}{6}$$ Now, by the first inequality, we know $\lvert x+4 \rvert$ is bounded by $6$. Therefore, we get: $$\lvert x^2+3x-1 \rvert \leq \lvert x+4 \rvert \cdot \lvert x-1 \rvert < 6\cdot \frac{\epsilon}{6} < \epsilon$$ Notice how our post-proof check is very similar to our proof, but this time we start with the answer instead of working backwards to end with the answer. This makes sure that nothing we did going backwards can be reversed to go forwards.