We consider a convex function $f \in \mathcal{C}(\mathbb{R})$, admitting a minimizer $x_* \in \mathbb{R}$, and $\tau > 0$. The operator $p_f$ is defined as the unique minimizer of $F_{x_0}(x) := \frac{1}{2}|x - x_0|^2 + \tau f(x)$. Let $x, y \in \mathbb{R}$, $\tilde{x} := p_f(x)$, $\tilde{y} := p_f(y)$. Show that the right-hand side in inequality $$2\tau(f(\tilde{x}) + f(\tilde{y}) - f(\tilde{x} + tv) - f(\tilde{y} - tv)) \leq |\tilde{x} + tv - x|^2 + |\tilde{y} - tv - y|^2 - |\tilde{x} - x|^2 - |\tilde{y} - y|^2$$ admits the asymptotic expansion $2tv(\tilde{x} - x + y - \tilde{y}) + o(t)$ as $t \rightarrow 0$.
We consider a convex function $f \in \mathcal{C}(\mathbb{R})$, admitting a minimizer $x_* \in \mathbb{R}$, and $\tau > 0$. The operator $p_f$ is defined as the unique minimizer of $F_{x_0}(x) := \frac{1}{2}|x - x_0|^2 + \tau f(x)$. Let $x, y \in \mathbb{R}$, $\tilde{x} := p_f(x)$, $\tilde{y} := p_f(y)$.\\
Show that the right-hand side in inequality
$$2\tau(f(\tilde{x}) + f(\tilde{y}) - f(\tilde{x} + tv) - f(\tilde{y} - tv)) \leq |\tilde{x} + tv - x|^2 + |\tilde{y} - tv - y|^2 - |\tilde{x} - x|^2 - |\tilde{y} - y|^2$$
admits the asymptotic expansion $2tv(\tilde{x} - x + y - \tilde{y}) + o(t)$ as $t \rightarrow 0$.