Lipschitz function which is Gâteaux-differentiable is Fréchet-differentiable Let $U \subset \mathbb{R}^n$ open set, $x_0 \in U$ and $f : U \rightarrow \mathbb{R}$ a function. Show that if $f$ is Lipschitz and Gâteaux-differentiable at point $x_0$, then $f$ is Fréchet-differentiable at point $x_0$.
For $\epsilon >0$  I tried to consider a finite set of vectors $v_1, ..., v_k \in S^{n-1}$ such that $\forall \, \, v \in S^{n-1} \, \, \exists \, i \in \{1, ..., k\}$ with $|x- v_i | < \epsilon $ and then using the Gâteaux-derivative in the directions $v_1, ..., v_k$, but I don't see how to proceed and to use it to get the result.
 A: Let $v$ be the Gâteaux derivative of $f$ at $x_0$. To simplify inequalities, subtract off the linear term: that is, consider $g(x) = f(x) - f(x_0) - v\cdot(x-x_0)$. 
Known: $g$ is Lipschitz continuous, and $\lim_{h\to 0} g(x_0+hv)/h = 0$ for every vector $v\in\mathbb{R}^n$. 
Goal: $\lim_{x\to x_0} g(x)/\|x-x_0\| = 0$. 
Idea of proof: since we control the behavior of $g$ on each line through $x_0$, take many such lines and use Lipschitz continuity to fill (small) gaps between them. 
Proof: Given $\epsilon>0$, let $K$ be a finite subset of the unit sphere $S^{n-1}$ such that for every $u\in S^{n-1}$ there is $v\in K$ with $\|u-v\| \le  \epsilon$. The existence of such $K$ follows from the compactness of $S^{n-1}$. 
Since $K$ is finite, Gâteaux differentiability implies there is $\delta>0$ such that $|g(x_0+hv)|  \le \epsilon h$ for all $v\in K$, whenever $|h|<\delta$. 
Let $u$ be any unit vector. By the above, there exists $v\in K$ such that $\|u-v\| \le \epsilon$, hence $\|hu - hv\| \le \epsilon h$. The Lipschitz continuity of $g$ implies
$|g(x_0+hu)-g(x_0+hv)| \le L \epsilon h$ where $L$ is the Lipschitz constant. Combining the above, we get
$$
|g(x_0+hu)| \le L \epsilon h + |g(x_0+hv)|  \le (L+1) \epsilon h
$$
whenever $|h| < \delta$. Writing $x = x_0+hu$ we can rephrase this as
$$
\sup_{\|x-x_0\| < \delta} \frac{|g(x)|}{\|x-x_0\|} \le (L+1)\epsilon 
$$
Since $\epsilon$ can be arbitrarily small, it follows that 
$$\lim_{x\to x_0}  \frac{|g(x)|}{\|x-x_0\|} = 0$$
