A Descent Lemma Beyond Lipschitz Gradient Continuity: First-Order Methods Revisited and Applications | Synapse