 Exact saddlepoint density of an inverse Gaussian sum

For the inverse Gaussian sum closure, take $x=s/n>0$. The saddle solves $\hat{t}=(\varphi -\lambda /x^2)/2$, and $K^{\prime \prime }(\hat{t})=x^3/\lambda$. Substitution in the saddlepoint density approximation givesThis is the exact sum density, so its leading saddlepoint expression needs no correction or renormalization.