268 PONTIFICIAE ACADEMIAE SCIENTIARVM SCRIPTA VARIA 
The construction is illustrated in Figure 14. Since the las 
inequality in (46) holds also for all subintervals of [T, T*], 
we have from (52), (50), if x*=g(z*) and p<o, 
T* 
2Une(p) = — jeu (u(æ;) — u(æ*)) dt > — u'(x*) Y [te 2*) dt > 
ve (z¥F— 1) . 
> w'(x*) ve 
since e>0 and #’(x*) y>o0. On the other hand, we have from 
(52), (39) with x,>0, (36) and (38 a) that 
dt< fg) dt < (1*—=) æ 
whence 1* —- t™>z/%#>0 and 
33) 
— Uz (p)> o/(x*) y e2/2Za*>o. 
Finally, we define the feasible path (x3, 2}) by (36) and 
2, =max §2., z*} for 0=<t<Tkx, 2 =z, for t>Ty , 
subject to a later choice of Ty in such a way that 24. <z*, 
Then 
Ur (o)=— le <t (u(æ;) — u(æË)) dt > ny, ** , where 2*>o, 
4) Koopmans - pag. 44