A Basic Convergence Result for Particle Filtering | Synapse