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.
We seek the test function in the form for some convex, non-increasing, non-negative -function . Compute
|
|
|
so using the properties of above,
|
|
|
To satisfy our conditions on , it is enough to have
- •
for .
- •
for .
- •
for where
. Morever, for , we need so that
has some strict positivity for . Notice convexity of is a consequence of these conditions.
To construct such , we can prescribe the behaviour near by
for ,
and match this with a solution to
|
|
|
for some large enough , such that remains at the matching point. Integration shows that remains uniformly bounded at , or equivalently .
∎