Proof. Choose , so that , and denote by .
The Laplacian comparison theorem gives in the sense of distributions.
Let where
|
|
|
Then is a nonnegative Lipschitz function supported in , and we have that
|
|
|
and also
|
|
|
Notice that and so the previous two equations give
|
|
|
The conclusion follows from the fact that .
∎