https://123dok.net/document/y8gpm73w-polynomial-optimization-over-non-compact-semi-algebraic-sets.html