Another look at Bayes map iterated filtering

A new proof of convergence of Bayes map iterated filtering algorithm, based on supermartingale inequality, is proposed. Relying on log concavity assumption, this approach with verifiable conditions is simpler than the previous approach and is generalizable to more sophisticated algorithms. The assumption could be relaxed at the cost of more technical details.