Convergence guarantee for consistency models