Posterior probability of a Gaussian point null (source code)

= Posterior probability of a Gaussian point null

For the equal point-null mixture,
$$
\mathbb P(\mu=0\mid\overline X=x)
=\left[1+\frac{1}{\sqrt{1+n\tau^2}}
\exp\left(\frac{n^2\tau^2x^2}{2(1+n\tau^2)}\right)
\right]^{-1}.
$$