Theorem 4: proximal gradient descends and its cluster points are stationary for $\beta < 1/\ell$

Initializing...

Theorem 4: proximal gradient descends and its cluster points are stationary for $\beta < 1/\ell$ · Prove2Me