Symbolic code (using symbolic computation toolbox of matlab) for verifying the analytical convergence rate for the proximal gradient method of the preprint "Exact worst-case convergence rates of the proximal gradient method for composite convex minimization"
