Consider the following problem: Given a finite set X and a real valued function g on X, find the largest subset of X such that g(x) \le 0 for every x in this subset.
\max_{Y\subseteq X} \ \{|Y|: g(x)\le 0,\forall x\in Y\}.