A Convergence Result for the Kuramoto Model with All-to-All Coupling

We prove a convergence result for the standard Kuramoto model with all-to-all coupling. Specifically, we show that the critical coupling strength associ ated with the onset of completely phase-locked behavior converges in probability as the number of oscillators tends to infinity