Equation 20.2.149C0808B7B91F

\begin{equation} \operatorname{Tr}_ Y(\varphi )\sim _ P \inf _{j\geq 1} P_{\omega |_{\widetilde{Y}}}[\varphi _ j|_{\widetilde{Y}}]. \end{equation}