Text this: A convergence proof for local mode filtering