real analysis - Differentiability implies continuity - A question about the proof

I have a question, to aid my understanding, about the proof that differentiability implies continutity.$\mathstrut$

Differentiability Definition

When we say a function is differentiable at $x_0$, we mean that the limit:

$$‎f^{\prime} ‎(x) = \lim_{x\to x_0} \frac{f(x) - f(x_0)}{x-x_0}$$ exists.

Continuity Definition

When we say a function is continuous at $x_0$, we mean that:
$$\lim_{x\to x_0} f(x) - f(x_0) = 0$$

Theorem: Differentiability implies Continuity: If $f$ is a differentiable function at $x_0$, then it is continuous at $x_0$.

Proof:

Let us suppose that $f$ is differentiable at $x_0$. Then
$$ \lim_{x\to x_0} \frac{f(x) - f(x_0)}{x-x_0} = ‎f^{\prime} ‎(x) $$

and hence

$$ \lim_{x\to x_0} f(x) - f(x_0) = \lim_{x\to x_0} \left[ \frac{f(x) - f(x_0)}{x-x_0} \right] \cdot \lim_{x\to x_0} (x-x_0) = 0$$

We have therefore shown that, using the definition of continuous, if the function is differentiable at $x_0$, it must also be continuous.

My Question

The proof seems to execute the following steps:

1. Assume the function is continuous at $x_0$


2. Show that, with little algebra, we can change this into an equivalent question about differentiability at $x_0$. With this little bit of algebra, we can show that if a function is differentiable at $x_0$ it is also continuous.

What I am slightly unsure about is the apparent circularity. In my mind it seems to say, if a function is continuous, we can show that if it is also differentiable, then it is continuous. Rather than what I was expecting, namely, if a function is differentiable, we can show it must be continuous.

Hopefully my confusion is clear. Any help will be greatly appreciated.

Answer

Technically, there is an implicit issue of existence of limits which is being swept under the rug in the presentation you have given. The assumption of differentiability at $x_0$ says that the limit

$$\lim_{x \to x_0} \frac{f(x) - f(x_0)}{x-x_0}$$

exists as a finite number. The limit $\lim_{x \to x_0} x-x_0$ exists and is zero regardless of our assumptions. Then the product rule for limits tells us both that $\lim_{x \to x_0} f(x)-f(x_0)$ exists, and that it is the product of the two limits above, which means it must be zero. Because the product rule also tells us that the limit exists, we do not have to assume continuity first.