Averaged projected-gradient bound (source code)

= Averaged projected-gradient bound

If $\|\nabla F(x_i)\|\leq G$ and $\|x_1-x_*\|\leq D$, then
$$
F\left(\frac1k\sum_{i=1}^kx_i\right)-F(x_*)
\leq\frac{D^2}{2\eta k}+\frac{\eta G^2}{2}.
$$
It follows by expanding the squared distance after each projected step, using nonexpansiveness of projection, summing the resulting inequalities, and applying convexity.