Can $e^x$ be expressed as a linear combination of $(1 + \frac x n)^n$?

Let $R_n(z)=\sum_{1 \leq k \le n} a_k \left(1 + \frac z k\right)^k$. Assuming the hypothesis we will show:

1: $R_n(z) \to e^z-a_0$ uniformly in the disc $|z| \le \frac{1}{2}$

2: $\sum_{1}^{\infty}{\frac{a_k}{k^q}}=0, q \ge 1$ arbitrary integer

3: $a_k=0, k \ge 1$

We use that if $|z| \le \frac{1}{2}, k \ge 1$, $|(1+\frac{z}{k})^k-(1+\frac{z}{k+1})^{k+1}| \le B|\frac{1}{k^2}|, B>0$ constant, which follows from $k\log(1+\frac{z}{k})=z-\frac{z^2}{2k}+O(\frac{z^3}{k^2}), |z| \le \frac{1}{2}, k \ge 1$, so $(1+\frac{z}{k})^k=e^{z-\frac{z^2}{2k}+O(\frac{z^3}{k^2})}$ and then subtracting the relations for $k, k+1$ since the $O$ terms are at most $\frac{1}{8k^2}$ in absolute value and $|\frac{z^2}{2k}-\frac{z^2}{2k+2}| \le \frac{1}{8k^2}, |z| \le \frac{1}{2}$

We also note that $|(1+\frac{z}{k})^k| \le (1+\frac{|z|}{k})^k \le e^{|z|} \le e^{\frac{1}{2}} <e$ since the binomial coefficients are positive and the triangle inequality works

For simplicity let $b_k(z)=(1+ \frac z k)^k$, so if $|z| \le \frac{1}{2}$

$|b_k(z)-b_{k+1}(z)| \le B|\frac{1}{k^2}|$

$|b_k(z)| \le e$

Then since $\Sigma{a_k} \to 1$ by hypothesis for $x=0$, it folows that $|\sum_{N}^{M}a_k| \le A$ for all $N \le M$ and some constant $A>0$, while $|\sum_{N}^{M}a_k| \to 0, N,M \to \infty$ so if we pick arbitrary $\epsilon >0, |\sum_{N}^{M}a_k| \le \epsilon, M>N >N(\epsilon)$ and then we sum by parts:

$|R_M(z)-R_N(z)|=|\sum_{N+1}^{M}a_kb_k(z)|=|(A_{N+1}(b_{N+1}-b_{N+2})(z))+(A_{N+2}(b_{N+2}-b_{N+3})(z))+....(A_{M-1}(b_{M-1}-b_{M})(z))+(A_{M}(b_{M}(z))|$,

where $A_p=\sum_{N+1}^{p}a_k, p \ge N+1$

So $|R_M(z)-R_N(z)| \le A\sum_{N+1}^{M-1}{B|\frac{1}{k^2}}|+e|A_M| \le AB\frac{1}{N}+e\epsilon, M>N > N(\epsilon)$ which shows that $R_N(z)$ is uniformly Cauchy in $|z| \le \frac{1}{2}$. But this means $R_n(z)$ converges uniformly to an analytic function $f(z)$ on the disc of radius $r=\frac{1}{2}$ and since we know by hypothesis that $f(x)=e^x-a_0$ on the $[-\frac{1}{2},\frac{1}{2}]$ segment it follows by the identity principle that $f(z)=e^z-a_0$ and this is 1 above

Now, we can differentiate term by term and get $R_n(z)' \to e^z$ uniformly on the disc of radius $\frac{1}{2}$ and then plugging $z=0$ we get $\sum_{k \ge 1}a_k=1$ hence $a_0=0$, hence $R_n(z) \to e^z$ uniformly on the above disc.

Subtracting we get $\sum_{k = 1}^n\frac{a_kz}{k}(1+\frac{z}{k})^{k-1} \to 0$ uniformly which clearly implies $\sum_{k = 1}^n\frac{a_k}{k}(1+\frac{z}{k})^{k-1} \to 0$, hence $\sum_{k \ge 1}\frac{a_k}{k}=0$

($zf_n(z) \to 0$ uniformly on the disc of radius $r$, means that for any $\epsilon >0$ there is $N(\epsilon), |zf_n(z)| \le \epsilon, |z| \le r, n \ge N(\epsilon)$

Schwarz lemma implies $|zf_n(z)| \le \frac{|z|}{r}\epsilon, |z| \le r, n \ge N(\epsilon)$ or $|f_n(z)| \le \frac{1}{r}\epsilon, |z| \le r, n \ge N(\epsilon)$)

But now (with all convergences below being uniform) we can integrate on the straight line from $0$ to $z$, $\sum_{k = 1}^{n}\frac{a_k}{k}(1+\frac{w}{k})^{k-1} \to 0$ and get $\sum_{k = 1}^{n}\frac{a_k}{k}(1+\frac{z}{k})^{k} \to 0$.

Subtracting gives $\sum_{k = 1}^n\frac{a_kz}{k^2}(1+\frac{z}{k})^{k-1} \to 0$, hence $\sum_{k = 1}^n\frac{a_k}{k^2}(1+\frac{z}{k})^{k-1} \to 0$, hence $\sum_{k \ge 1}\frac{a_k}{k^2}=0$. A clear induction (integrate, subtract, divide the $z$) gives 2 above

3 is a trivial consequence of 2 since wlog we can assume $\sum|a_k| < \infty$ in 2 by going to $b_k=\frac{a_k}{k^2}$ which is absolutely convergent since $a_k$ is bounded and which clearly satisfies 2; then if $p \ge 1$ is the first index for which $a_p \ne 0, |a_p|=a>0$ and with $A=\max|a_k| \ge a>0$ we easily find a large $q$ s.t. $A\frac{p^q}{(p+m)^q} \le .0001\frac{a}{(p+m)^2}, m>1$ as $(1+\frac{m}{p})^{q-2} \ge (1+\frac{1}{p})^{q-2} \to \infty$ with $q$ for fixed $p$, leading to a term with absolute value $a$ plus sum that is at most $.0001a\frac{\pi^2}{6}$ in absolute value being zero and that is impossible.

So all $a_k$ must be zero if 2 is satisfied and we are finally done!