Proof. [04F7]
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.
Given any on , we write the potential as a line integral of the Liouville 1-form
Thus the intrinsic ball volume lower bound implies that if lies in the range of , then
The range of is by assumption a closed interval. If the interval has length , then we can find distinct values of with disjoint , so
This provides an a priori bound on , hence on the potential oscillation. ∎