Prove the existence of a $C^\infty$ bounded function with arbitrary derivatives at a fixed point. (Borel?) I found this problem on an Italian forum and since then I struggled to solve it. The autor there claims it was proposed by Borel. At any rate the problem is as follows

(Borel?) For any $\{a_n\}_{n=0}^{\infty}\subseteq \mathbb R,\: x_0\in\mathbb R\,$ and $\,\varepsilon>0$ does there exist a $C^\infty$ function $f\colon\mathbb R\to\mathbb R$ such that $$f^{(n)}(x_0)=a_n,\; \forall n\in\mathbb N\cup\{0\}\tag{1}$$ and moreover $$\left|f(x)-a_0\right|<\varepsilon,\;\forall x\in\mathbb R?$$

Clearly even reference about problem are welcomed, but I strongly encourage anybody to think about it because really, when I met it for the first time, I thought: "this is a wonderful problem".
I do not have any clue towards the solution. I hope you will have fun with this.
Cheers.

Here is a counterexample.
For arbitrary interval $I\subset\mathbb{R}$ denote $M_k(f,I)=\max_{t\in I}|f^{(k)}(t)|$, then from exercise 14 Chapter 5 in Rudin's Principles of Mathematical analysis we know that
$$
M_1^2(f,I)\leq 4M_0(f,I)M_2(f,I)
$$
for any interval $I$ and $f\in C^3(I)$
Let's take $a_1>2\sqrt{(|a_0|+\varepsilon)(|a_2|+\varepsilon)}$ and the rest whatever you want. Assume that there exist a smooth function $f$ with predescribed properties. Since $f\in C^\infty(\mathbb{R})$ then we can find neighbourhood $U$ of $x_0$ where 
$$
M_2(f,U)<|f^{(2)}(x_0)|+\varepsilon=|a_2|+\varepsilon
$$
By construction $|f(x)-a_0|<\varepsilon$ for all $x\in\mathbb{R}$, so 
$$
M_0(f,U)<|a_0|+\varepsilon
$$
Finally 
$$
M_1^2(f,U)>|f'(x_0)|^2=a_1^2>4(|a_0|+\varepsilon)(|a_2|+\varepsilon)>4M_0(f,U)M_2(f,U)
$$
Contradiction.
