Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Observe that, being fixed, is uniformly bounded and decreases
towards as goes to infinity. Therefore
, by a classical result
of E.Bedford and A.Taylor [BT 82].
Moreover the sequence of positive measures
has uniformly bounded mass, since by lemma 7.2 in [GZ 2],
where .
Since is u.s.c., a standard argument yields that any cluster point
of the sequence satisfies
. In particular
is bounded from above uniformly with respect to . Since
decreases towards , this shows .
It remains to show that .
Since for any fixed ,
it is enough to get an upper bound on the mass of
in which is uniform in .
This follows from Chebyshev inequality, namely