The basic infinite-dimensional or functional optimization problem