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 first assertion is obvious because, for ,
if and only if .
For ,
let with . Then , that is,
, and hence .
Finally we consider the second inequality, that is,
for .
Clearly we may assume that .
As , there is with .
By the first assertion, we can choose such that .
If , then
|
|
|
Thus . This is a contradiction, so that .
Therefore,
|
|
|
as required.
∎