Rigorous Asymptotics of a KdV Soliton Gas