Equation 22.1.81DFFDD4E75B4D

\begin{equation} \varphi ^{\mathrm{An}}(v)=\inf _{k\in \mathbb {Z}_{>0}} -2^{-k}v\left( \mathcal{I}(2^ k\varphi )\right). \end{equation}