Digital PLL convergence proof