Eq. (2) — one projected gradient step: 2∇ᵀ(x − u) ≤ (‖x − u‖² − ‖x' − u‖²)/η + ηG²

Initializing...

Eq. (2) — one projected gradient step: 2∇ᵀ(x − u) ≤ (‖x − u‖² − ‖x' − u‖²)/η + ηG² · Prove2Me