Let . Away from ties and zero coordinates, its gradient is for a maximizing coordinate . Conditional on , the random variable is centered Gaussian with variance at most one. The supplied Gaussian concentration inequality therefore gives
A Chernoff bound, optimized at , yields
It remains to bound the mean. For , Jensen's inequality and the Gaussian moment-generating function give
Taking gives . Consequently