real analysis - If $fcolon mathbb{R} to mathbb{R}$ is such that $f (x + y) = f (x) f (y)$ and continuous at $0$, then continuous everywhere

Prove that if $f\colon\mathbb{R}\to\mathbb{R}$ is such that $f(x+y)=f(x)f(y)$ for all $x,y$, and $f$ is continuous at $0$, then it is continuous everywhere.

If there exists $c \in \mathbb{R}$ such that $f(c) = 0$, then
$$f(x + c) = f(x)f(c) = 0.$$
As every real number $y$ can be written as $y = x + c$ for some real $x$, this function is either everywhere zero or nowhere zero. The latter case is the interesting one. So let's consider the case that $f$ is not the constant function $f = 0$.

To prove continuity in this case, note that for any $x \in \mathbb{R}$
$$f(x) = f(x + 0) = f(x)f(0) \implies f(0) = 1.$$

Continuity at $0$ tells us that given any $\varepsilon_0 > 0$, we can find $\delta_0 > 0$ such that $|x| < \delta_0$ implies
$$|f(x) - 1| < \varepsilon_0.$$

Okay, so let $c \in \mathbb{R}$ be fixed arbitrarily (recall that $f(c)$ is nonzero). Let $\varepsilon > 0$. By continuity of $f$ at $0$, we can choose $\delta > 0$ such that
$$|x - c| < \delta\implies |f(x - c) - 1| < \frac{\varepsilon}{|f(c)|}.$$

Now notice that for all $x$ such that $|x - c| < \delta$, we have

$$\begin{align*}
|f(x) - f(c)| &= |f(x - c + c) - f(c)|\\
&= |f(x - c)f(c) - f(c)|\\
&= |f(c)| |f(x - c) - 1|\\
&\lt |f(c)| \frac{\varepsilon}{|f(c)|}\\
&= \varepsilon.
\end{align*}$$
Hence $f$ is continuous at $c$. Since $c$ was arbitrary, $f$ is continuous on all of $\mathbb{R}$.

Is my procedure correct?

Answer

One easier thing to do is to notice that $f(x)=(f(x/2))^2$ so $f$ is positive, and assume that it is never zero, since then the function is identically zero. Then you can define $g(x)=\ln f(x)$ and this function $g$ will satisfy the Cauchy functional equation
$$ g(x+y)=g(x)+g(y)$$
and the theory for this functional equation is well known, and it is easy to see that $g$ is continuous if and only if it is continuous at $0$.