производная

[Oleg Zubelevich]

Пусть $f\in H^1(\mathbb{R}^m).$ Доказать, что

$$\Big\|\frac{f(x+se_i)-f(x)}{s}-\frac{\partial f}{\partial x_i}\Big\|_{L^2(\mathbb{R}^m)}\to 0,\quad s\to 0$$