Paragraph [01KI]
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
Assume that is a generic sequence of points such that tends to . By Theorem 3.3.1, converges to
| (3.4.2) |
Except when both lower bounds are zero, this is strictly bigger than the lower bound of the proposition, which is equal to
In other words, the greedy obvious method to find points of small height for that first minimizes the height , only works up to the factor .