https://123dok.net/document/y8g278rz-majorization-minimization-procedures-and-convergence-of-sqp-methods-for-semi-algebraic-and-tame-programs.html