The proof is based on [1]}. First, we show that for all \(P \in \mathcal {P}\) , it holds that
\(\gamma \big ((\mathbf {P}^*)^{\tau _P(\varepsilon )} \mathbf {P}^{\tau _P(\varepsilon )}\big )\ge 1-\varepsilon .\) 
