 Averaged projected-gradient bound

If $\Vert \nabla F(x_i)\Vert \le G$ and $\Vert x_1-x_{\ast }\Vert \le D$, thenIt follows by expanding the squared distance after each projected step, using nonexpansiveness of projection, summing the resulting inequalities, and applying convexity.