"By hypothesis, for any $0<\epsilon<a$ there exists $\delta(\epsilon)>0$ such that for any $x \in \text{dom}(f) \cap (x_0-\delta(\epsilon),x_0+\delta(\epsilon)) \setminus \{x_0\}$, $|x-x_0|<\delta(\epsilon) \implies |f(x)-l|<\epsilon$.
Suppose $\epsilon' \ge a$. Using the limit hypothesis with $0<\frac{a-\epsilon}{2}<a$, there exists $\delta'=\delta((a-\epsilon)/2)>0$ such that for any $x \in \text{dom}(f) \cap (x_0-\delta',x_0+\delta') \setminus \{x_0\}$, $|x-x_0|<\delta' \implies |f(x)-l|<(a-\epsilon)/2<a\le\epsilon'$. Since $\epsilon' \ge a$ is arbitrary, this holds for any $\epsilon' \…