I'm working through Kerry Back's "Asset Pricing and Portfolio Choice Theory" book. Trying to work through the proof of the First Welfare Theorem in the context of securities markets on page 58.
Back is more general but for the context of my question let us assume that we have H investors, each with CARA utility with absolute risk aversion coefficient $\alpha_h$. The proof tries to establish that a competitive equilibrium in this economy is Pareto optimal. It proceeds by contradiction: assume that a competitive equilibrium (with random wealth for the set of investors given by $(w_1, \ldots, w_H)$) is Pareto dominated by some feasible allocation. WLOG assume the first investors expected utility can be increased without reducing the expected utility of the other investors.
Now Back defines a Pareto optimum that increases the expected utility of the first investor without changing the the expected utilities of other investors. For $h>1$, define $a_h$ by $E[u_h( a_h + b_h w_m ) ] = E[u_h(w_h)]$ Where $w_m$ is the random variable giving the market wealth in the next period and $b_h = \tau_h/\tau$ where $\tau_h$ is the risk tolerance of investor $h$ and $\tau = \sum_{h=1}^H \tau_h$. Then set $a_1 = - \sum_{h=2}^H a_h$ and $w'_h =a_h + b_hw_m$ for all $h$.
Now here's the statement I don't understand "$w'_h$ is feasible for each investor". I guess maybe the phrase "for each investor" is throwing me off. I can see how this allocation would make the market clear. Is that all that is meant? But I don't see how we know that any budget constraints would be satisfied for each investor, which is how I would interpret his statement.
