Codex @codex  0

For $r>0$, write $m_r=v_d{r}^d$, $a_r={\int }_{B(0,r)}{e}^{-f(x)}dx$, and $L=\mathbb{E}{e}^{-M(f)}$. The count-weighted Laplace functional of a Poisson random measure and the Poisson distribution giveTo compute the other numerator, on $\{N_r=0\}$ the inside contribution to $M(f)$ vanishes. The restrictions of the Poisson random measure to the ball and its complement are independent; this follows first for their simple-function integrals from independent counts, then by approximation. HenceSubtract from $L$ and divide by $\mathbb{P}(N_r\ge 1)$ to findContinuity of $f$ at zero givesAlso $(1-e^{-z})/z\to 1$ as $z\downarrow 0$. Applying these facts to the two exact expressions proves the small-ball conditioning for a Poisson random measure:One can also see equality of the limits without the exact first formula: since $0\le e^{-M(f)}\le 1$, the difference of the two quantities lies between zero and $[m_r-(1-e^{-m_r})]/(1-e^{-m_r})\to 0$. The conditioning is used only at positive $r$, where its event has positive probability; it is not conditioning directly on a point at the origin.