“…The fact that the proof presented here, and the alternative one presented in [58] (see Remarks 1 and 4 below for the difference in approach), rely on the Shapley-Folkman theorem is of some substantive consequence for mathematical economics: the subject can be seen (admittedly in hindsight) to have evolved by providing asymptotic implementations, and rates of convergence, of the fundamental results obtained through Lyapunov's theorem or its nonstandard analogues (as in [39,34,35,36]), and thereby systematically replacing the tools for these idealized (continuum) objects by their counterparts for finite ones. For this trajectory, see [54,10,2] and their followers: in alphabetical order, [3,4,5,6,7,8,17,18,19,20,25,29,30,44,46,47,48,53,63]), as well as Remark 7 below. (An expression of this point of view is also available in [56,37,57].)…”