https://azpdf.net/document/y8g3kw14-formally-the-dual-theory-for-constrained-optimization.html