Convergence Analysis of EFOP Estimate Based on Frequency Domain Smoothing