13.1 Converge in probability