Title: The convergence of a recursive procedure for estimating the frequency of a sinusoidal signal in noise