Quadratic (descent-lemma) upper bound for $f$ along a trial step $x_k + s\,d_k$ inside $\bar{\mathcal{L}}$

Initializing...

Quadratic (descent-lemma) upper bound for $f$ along a trial step $x_k + s\,d_k$ inside $\bar{\mathcal{L}}$ · Prove2Me