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.
For a positive number ,
choose a positive integer such that
|
|
|
As is semipositive, by Corollary 3.11,
there is a positive integer such that,
for all , we can find with
, so that
|
|
|
Therefore, the assertion follows from Corollary 3.11.
∎