It is clear that .
The implication follows from the equality .
It remains to prove .
We may write a given as a uniform limit on of model functions , and uniformly on thanks to the Lipschitz property of , see Proposition 2.15. By Theorem 3.1 we thus have
|
|
|
in the weak topology of measures. Since uniformly on and the measures have uniformly bounded (in fact, constant) mass, it follows that
|
|
|
Let us prove the final assertion. Pick such that in . By the analogue of the -lemma proved in [BFJ11, Theorem 4.3] there exists such that . Observe that a function is -psh iff is -psh. As a consequence we get
, hence
|
|
|
for all .
∎