I want to prove the following statement:
Define the complex exponential function $\exp$ by $\exp(z)= \sum_{n = 0}^\infty \frac{z^n}{n!}$. Then $\exp$ can be characterized by $$\frac{\mathrm df}{\mathrm dz}=f, f(0)=1, f(z+v)=f(z)f(v) \forall z,w \in \mathbb{C}$$
My idea of the proof: Since the covered topics are the very basic of holomorphic functions (equivalent characterizations of complex differentiability), convergence in $\mathbb{C}$ and power series, we proceed as follows:
We see that $f$ is infinitely many complex differentiable and so we can write it locally around $0$ as a power series $f(x)=\sum_{n=0}^\infty a_n (x-0)^n$. One can differentiate power series termwise to see $a_n=\frac{f^{(n)}(0)}{n!}$, which implies $a_n=\frac{1}{n!}$. We can deduce that $f$ equals $\exp$ locally around $0$. Take any $z \in \mathbb{C}$, then $f(\frac{z}{n})=\exp(\frac{z}{n})$ for $n$ natural number big enough. By applying $f(z+v)=f(z)f(v)$ iteratively, $f(z)=\exp(z)$.
This seems correct, but the problem is we haven't already covered the statement that any holomorphic function can be written locally as a power series. Is there another elementary way of proving this without this statement?
In fact $\exp$ is characterized by just the two conditions $f'=f$, $f(0)=1$. The proof is by a simple technique one learns in an elementary differential equations class: find an integrating factor.
Suppose then that $f'=f$ and $f(0)=1$. Define $$g(z)=\exp(-z)f(z).$$Then the product rule and the chain rule show that $g'=0$. So $g$ is constant: $g(z)=c$. Now $f(0)=1$ implies that $c=1$, so $f(z)=\exp(z)$.