Generalized semi-infinite programming
 
x
OK