Upward zero crossings of an oscillatory stationary-phase tail (source code)

= Upward zero crossings of an oscillatory stationary-phase tail

If the leading asymptotic is $Ct^{-1/2}\cos(\Omega t+\gamma)$ with $C>0$, its upward zero crossings satisfy
$$
\Omega t+\gamma=\frac{3\pi}{2}+2\pi n
$$
to leading order.