Sion's minimax theorem
 
x
OK