In this question, it was asked how the formula $$l=\frac{1}{\sqrt 2n\sigma }$$ can be rigorously derived for a Maxwell-Boltzmann gas. Here $l$ is the mean free path length in a gas, $n$ is the gas density (assumed to be homogeneous) and $\sigma$ is the cross section of colliding particles.
The answers to the question prove that $$\frac{\langle v\rangle}{\langle v_r\rangle}=\frac{1}{\sqrt2},$$ and conclude that the formula holds.
Here $v$ is the speed of a particle, and $v_r$ is the relative speed between two particles. For $\langle v_r\rangle$, we take the average over all pairs of particles.
The answers seem to use that $l=\frac{\langle v\rangle}{n\sigma \langle v_r\rangle}$. Can this be proven?