Proof. [0238]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
The ODE (12) can be smoothly extended as long as remains bounded positively below and remains bounded (which imply boundedness of , and in particular the boundedness of ). Notice
so is monotone increasing, and in particular positive. By
we see will be bounded as long as is bounded positively below.
The convexity of is ensured whenever the solution is smooth. Thus for some small ,
For small , we have and , so , whence has an a priori lower bound slightly beyond . ∎