Verified tagged author-source HTML · 1912.02360v1 · cited publication edition alignment unverified.
00PV
Proof. (Thm 2.7)
Combining the first two ingredients, the function satisfies
|
|
|
We conclude that for the sublevel set has zero -measure, and therefore zero capacity by Lemma 2.8, so has the lower estimate as claimed in the first statement.
For the second statement, by (2) we have an a priori exponential decay
|
|
|
which allows us to find an appropriate . ∎