The resulting beam waist \(w_0^\prime\) is calculated from the wavelength \(\lambda\), focal length \(f\) and input waist \(w_0\) using the following formula:
$$w_0^\prime = \frac{\lambda f}{\pi w_0}$$
Which is easily derived using Ray transfer matrix analysis. The depth of field is taken as two times the Rayleigh length.