This paper studies a new type of quantile optimization problems arising from insurance contract design models. This type of optimization problems is characterized by a constraint of infinity-dimension, that is, the derivatives of the decision quantile functions are bounded. Such a constraint...