Set $M_{K}=\sup_{X}V_{K,\omega}$. If $M_{K}=+\infty$ then $K$ is $PSH(X,\omega)$-polar (theorem 3.2) and there is nothing to prove: $T_{\omega}(K)=Cap_{\omega}(K)=0$. So we assume in the sequel $M_{K}<+\infty$ hence $V_{K,\omega}^{*}\in PSH(X,\omega)$. If $M_{K}\geq 1$ then $u_{K}:=M_{K}^{-1}V_{K,\omega}^{*}\in PSH(X,\omega)$ with $0\leq u_{K}\leq 1$ on $X$. Since $\omega_{V_{K,\omega}^{*}}\leq M_{K}\omega_{u_{K}}$, we get

$$\frac{1}{M_{K}^{n}}=\frac{1}{M_{K}^{n}}\int_{K}(\omega_{V_{K,\omega}^{*}})^{n}\leq\int_{K}(\omega_{u_{K}})^{n}\leq Cap_{\omega}(K)$$

whence $T_{\omega}(K)\leq\exp(-Cap_{\omega}(K)^{-1/n})$.

If $0\leq M_{K}\leq 1$ then $0\leq V_{K,\omega}^{*}\leq 1$ hence

$$1=\int_{K}(\omega_{V_{K,\omega}^{*}})^{n}\leq Cap_{\omega}(K)\leq Cap_{\omega}(X)=1.$$

∎

More precisely we are going to show the following: consider $\Omega$ an open subset of $X$, $v\in PSH^{-}(\Omega)$ and $P\subset\{v=-\infty\}$. Fix $0<\varepsilon<1/n$ and $V_{t}:=V_{G_{t},\omega}$ where $G_{t}=\{x\in\Omega\,/\,v(x)<-t\}$. Then

$$\varphi_{\varepsilon}(x):=\frac{1}{\varepsilon}\int_{1}^{+\infty}\frac{1}{t^{1+\varepsilon}}[V_{t}(x)-\sup_{X}V_{t}]dt$$

is a $\omega$-psh function such that $P\subset\{\varphi_{\varepsilon}=-\infty\}$.

Indeed since $G_{t}$ is open, we have $V_{t}\in PSH(X,\omega)$ and $V_{t}=0$ on $G_{t}$ (see proposition 3.6). Observe that $\varphi_{\varepsilon}$ is a sum of negative $\omega$-psh functions hence it is either identically $-\infty$ or a well defined $A\omega$-psh function with $A=\varepsilon^{-1}\int_{1}^{+\infty}t^{-(1+\varepsilon)}dt=1$. Recall that $-C+\sup_{X}V_{t}\leq\int_{X}V_{t}\omega^{n}\leq\sup_{X}V_{t}$ (proposition 1.7). Therefore $\int_{X}\varphi_{\varepsilon}\omega^{n}\geq-C$ hence $\varphi_{\varepsilon}\in PSH(X,\omega)$.

Fix $x\in\Omega$ such that $v(x)<-1$. Observe that $V_{t}-\sup_{X}V_{t}\leq 0$ with $V_{t}(x)=0$ if $x\in G_{t}$, i.e. when $|v(x)|>t$. Therefore

$$\varphi_{\varepsilon}(x)\leq-\frac{1}{\varepsilon}\int_{1}^{|v(x)|}\frac{\sup_{X}V_{t}}{t^{1+\varepsilon}}dt.$$

Recall now that $Cap_{\omega}$ is always dominated by $Cap_{BT}$ hence $Cap_{\omega}(G_{t})\leq C_{1}/t<1$ if $t$ is large enough. We infer from the previous proposition that

$$-\sup_{X}V_{t}\leq-[Cap_{\omega}(G_{t})]^{-1/n}\leq-C_{2}t^{1/n},$$

which yields

$$\varphi_{\varepsilon}(x)\leq\frac{-C_{2}}{\varepsilon}\int_{1}^{|v(x)|}\frac{dt}{t^{1+\varepsilon-1/n}}\leq-C_{3}|v(x)|^{1/n-\varepsilon}+C_{4}.$$

Note that $\varphi_{\varepsilon}(x)=-\infty$ whenever $v(x)=-\infty$ hence $P\subset\{\varphi_{\varepsilon}=-\infty\}$. ∎