Convergence of an iterative algorithm to the nonparametric MLE of a mixing distribution

An iterative algorithm has been conjectured to converge to the nonparametric MLE of the mixing distribution. We give a rigorous proof of this conjecture and discuss the use of this algorithm for producing smooth mixing densities as near-MLEs.