An optimisation problem arising in the design of circuits and control systems is formulated, and an outer approximation algorithm for solving it is presented. The problem is characterized by constraints that must be satisfied for all functions in a given subset of a function space. It is shown that an outer-approximation-type algorithm increases the number of variables and constraints at each iteration. A practical algorithm will require a constraint dropping scheme.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>