1: $,

2: then from~\cref{AcceleratedGuarantee}

3: we have a convergence guarantee,

4: $